Mathematics

一个关于11个正方形最优打包的AI辅助证明已通过Lean的形式化验证。完成的EvolvingPrograms验证运行接受了所有7,920个本地Lean模块，最终审计报告零接纳。

AI研究 • Hacker News

OpenAI 在一次性发布超过 700 篇手稿仅一天后，因一个符号错误使关键论证失效，撤回了三篇 AI 生成的数学论文。人类数学协会呼吁抵制，菲尔兹奖得主陶哲轩对 AI 生成证明的质量发出警告。

AI 研究 • Hacker News

据 TechCrunch 报道，OpenAI 大量生成的 AI 数学证明偏离了该前沿实验室咨询的一组数学研究人员设定的指导方针。据报道，该公司处理数学解决方案的方法尚未达到该领域的标准。

AI 研究 • TechCrunch AI