1
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
AI宣称攻破数学猜想，人类数学家24小时逐行审查，揭示37000行代码中的致命漏洞。
第二天，就有一篇人类论文回应：AI提出的反例不成立
2
How AI settled the complexity of the oldest SGD algorithm
AI最终破解了最古老随机梯度下降算法的复杂度难题，数学理论迎来新突破。
arXiv:2606.29593v1 Announce Type: new Abstract: In 1937, Stefan Kaczmarz proposed a simple algorithm for solving systems of linear equations. This alg…
3
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
来自78个真实GitHub项目的动态基准，挑战AI证明器解决实际数学定理的能力
arXiv:2603.02668v2 Announce Type: replace Abstract: We present SorryDB, a dynamically-updating benchmark of open Lean tasks drawn from 78 real world f…