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