搜索
Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π)，次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》，警告AI证明速度已远超学界验证与消化的能力。
陶哲轩等25位菲尔兹奖得主联名发表公开信，抗议OpenAI与Anthropic将千禧年数学难题当作基准测试和公关素材，指控其涉嫌窃取数学家未公开研究成果以暴力破解黎曼猜想等难题，警告AI公司正在摧毁数学学术生态。
今天，全网都在吃OpenAI的这个大瓜。
上台前最后一分钟，陶哲轩还在用AI捣鼓数学证明。
Grok，学会一键看片了？
都以为AI应该先去替数学家证定理，陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文，还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。
就在外界惊呼“AI快要接管纯数学研究”之际，一场限制条件极其严格、并由30位数学家以匿名方式进行评审的数学测试，却揭开了AI数学能力的另一面：AI不仅会幻觉、会跳步骤，甚至还把数学家论文里的关键论证几乎原样照搬，却忘了注明引用。
数学界的“最强大脑”，快被AI出的证明淹没了。
陶哲轩又发成绩单了。
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。