Terence Tao 批评 AI 解数学题的方式：像"露天开采"一样损害领域发展
陶哲轩聊 AI 解数学题，担心的不是证明对不对，而是把 Navier-Stokes 这类大问题"挖矿式"啃完后领域没人做了，观点挺少见的。
#AI数学
共 10 条 · 7 天 0 条 · 30 天 3 条
信息流里打上「AI数学」标签的资讯、产品与论文，按刊登时间排，新的在上。
11月1日
10月30日
Sam Altman 回应数学界困扰：OpenAI 不会停止向数学家投喂 AI 成果
Sam Altman 在访谈里聊到 OpenAI 不停给数学家发 AI 证明结果的事，还说后面还有更多存货，数学圈已经有点扛不住了。
10月17日
数学家质疑 OpenAI 的 Navier-Stokes 证明方法论
OpenAI 交了 166 页的 Navier-Stokes 证明，结果数学家说他们自己都讲不清方法是怎么来的，挺离谱的。
10月13日
西方数学家警惕AI证明，丘成桐牵头千余科学家推进AI数学研究
同一个AI证明问题，25位菲尔兹奖得主想抵制，丘成桐却拉了8家机构1000多号人要把它用起来，两边路线分歧挺有意思。
10月4日
Christian Szegedy：AI 已能猜想与理论化，怀疑论者描述的是去年春天的模型
Szegedy 回应 Tao 和 Gowers 的文章，说 AI 数月内就能猜想和理论化，他还写了篇长文讲自己的判断，可以看看他怎么论证的。
9月2日
8月17日
8月15日
行业22:42
菲尔兹奖得主马丁·海尔：AI数学推演已达博士水平，中国基础科学投入印象深刻菲尔兹奖得主马丁·海尔说AI数学已经到博士水平，但他觉得全面超越人类还早。还聊了中国数学这几年的飞跃，挺有意思。
IT之家原文
8月4日
7月29日