每日精选 15000 页数学证明，AI 用 24 天写成 5000 万行 Lean 代码全验证了 人类科学史上规模最大的数学证明，刚刚被 AI 彻底验证了。100 多位数学家耗时几十年、写成 15000 页巨…
AI工具 OpenAI 公开数学成果集：719 篇手稿、372 个家族，部分带 Lean 形式化证明 AI 做的数学成果，到底有多少是真证明？OpenAI 在 10 月公开了自己的数学成果集 openai/mat…
