标签「形式化证明」下的文章

OpenAI 证明 Cannon 猜想：AI 拿下几何群论近 40 年难题，附 Lean 机器验证

OpenAI 10 月 6 日放出的数学手稿中，一篇 31 页论文宣称完整证明了 Cannon 猜想，并附带 Lean 形式化验证。