搜索
新智元报道 你敢信？ 人没上大学，研究已经接上了「菲尔兹奖得主」的工作了。 就在今天，UCLA数学圈传出了一条让所有人震惊的消息—— 两名高中生Aayush Bathija和Prince Rohatg
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的GPT-6 Astra攻破了FrontierMath Tier 4最后一道难题，使该研究级数学测试被Epoch AI正式宣布饱和，所有题目均已至少被AI成功解出过一次。
OpenAI新一代模型Astra被德累斯顿工业大学数学家Andreas Thom指控剽窃其深耕20年的非sofic群研究，因Thom曾与ChatGPT高频讨论相关未发表推导，OpenAI研究员仅以一句"那没有发生过"否认，却在与纽大数学家Buckmaster的NS方程争端中改口承认可能使用去标识化客户数据训练模型。
距离OpenAI宣布用88小时攻破千禧年难题「NS方程」，才仅仅过去两天。
今天，全网都在吃OpenAI的这个大瓜。
《纽约时报》最新追访，补出了这场冲突中此前没有披露的细节。
AI教师已经可以完成不少单次教学任务。
上台前最后一分钟，陶哲轩还在用AI捣鼓数学证明。