陶哲轩（Terence Tao），澳大利亚裔美国数学家，现任职于加州大学洛杉矶分校。他在调和分析、偏微分方程、组合数论、遍历理论等多个数学领域均有重要贡献，因在素数分布及非线性偏微分方程等方面的突破性研究，于2006年荣获数学最高荣誉菲尔兹奖。他被广泛认为是当代最具影响力的数学家之一。
FrontierMath是由陶哲轩等数学家参与设计的前沿数学题库
2023年，陶哲轩参与将Polynomial Freiman-Ruzsa猜想的证明形式化，整个过程在数周内完成
2024年陶哲轩开始大力推广数学证明的形式化，认为AI辅助形式化是数学未来的发展方向
陶哲轩是菲尔兹奖得主，在24岁时获得该奖，是该奖项历史上最年轻的获奖者之一
陶哲轩是澳大利亚籍华裔数学家，被誉为'数学界的莫扎特'
陶哲轩发表论文超过300篇，研究涉及调和分析、偏微分方程、组合数学、解析数论等多个领域
陶哲轩提出观点：悬而未决的开放数学问题正在被AI以'不可再生'方式'开采'
陶哲轩在2021年参与的Lean数学库项目成功形式化验证了多个重要定理
陶哲轩经常在博客和社交媒体分享使用GPT-4、Lean等工具的经验
2023年Fields奖得主陶哲轩开始使用Lean进行研究
还有 8 条时间轴事件
陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理
65%待验证FrontierMath是由陶哲轩等数学家参与设计的前沿数学题库
50%待验证2024年陶哲轩开始大力推广数学证明的形式化，认为AI辅助形式化是数学未来的发展方向
50%待验证陶哲轩发表论文超过300篇，研究涉及调和分析、偏微分方程、组合数学、解析数论等多个领域
50%待验证陶哲轩是菲尔兹奖得主，在24岁时获得该奖，是该奖项历史上最年轻的获奖者之一
50%待验证陶哲轩提出观点：悬而未决的开放数学问题正在被AI以'不可再生'方式'开采'
50%待验证陶哲轩是澳大利亚籍华裔数学家，被誉为'数学界的莫扎特'
50%待验证陶哲轩经常在博客和社交媒体分享使用GPT-4、Lean等工具的经验
50%待验证陶哲轩批评GPT-6 Astra在孪生素数间距等难题上的突破，认为AI黑盒抢答缺乏透明性，让数学失去了启发后人的价值，是在污染科学命题
50%待验证陶哲轩长期维护名为'What's New'的数学博客
50%待验证陶哲轩于2006年获得菲尔兹奖，当时年仅31岁
50%待验证陶哲轩在调和分析、偏微分方程、组合数学、解析数论等多个领域均有开创性贡献
50%待验证2023年，陶哲轩参与将Polynomial Freiman-Ruzsa猜想的证明形式化，整个过程在数周内完成
50%待验证陶哲轩在2021年参与的Lean数学库项目成功形式化验证了多个重要定理
50%待验证2023年Fields奖得主陶哲轩开始使用Lean进行研究
50%待验证陶哲轩发布的关于六个核心数学概念的视频在Hacker News上获得134分、18条评论
50%待验证陶哲轩的视频在Hacker News上获得134分、18条评论
50%待验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例
50%