人物陶哲轩
Terence Tao
澳大利亚裔美国数学家，菲尔兹奖得主，主要研究调和分析、数论、组合数学等领域，提出'Math 2.0'概念探讨AI辅助数学证明
时间轴 (近 90 天)
10月12日
菲尔兹奖得主 Terence Tao 提出，得益于 AI 与机器化验证，数学可能从「证明稀缺」时代迈向「证明丰富」时代
待验证50%
8月30日
2023年Terence Tao利用Lean社区协作完成了多项式Freiman-Ruzsa猜想的证明形式化
待验证50%
8月24日
2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明
待验证50%