扫码关注量子位
三位菲尔兹奖得主：不代表认可
44年前被亲自列入问题清单
25位菲尔兹奖得主联名吹哨
作者读博时就在研究，17年后被AI解开了
第二天，就有一篇人类论文回应：AI提出的反例不成立
8篇由同一个系统生成或形式化证明的数学论文
125页“令人恐惧”的推演
还反向挑出审稿人的毛病
历史上最大规模的单一目的Lean形式化项目
评估AI工具真实成功率时，最大的统计偏差来自强烈的报告偏差
接任1963年出生的陈大岳教授
将数论辛钦定理推广到自相似测度
“传统方法数周或者数月才能解决”
硅谷新增最强师生档
“Vibe证明时代已经到来”
证明了布尔超立方体上的塔拉格兰卷积猜想，结果精确到一个log log η因子
15亿参数挑战千亿巨头
