前OpenAI后训练VP回应陶哲轩:说AI毁了数学,可能还是太小瞧AI了
前OpenAI后训练VP回应陶哲轩:说AI毁了数学,可能还是太小瞧AI了说AI毁了数学,可能还是太小瞧AI了。
搜索
说AI毁了数学,可能还是太小瞧AI了。
大概是今年以来,AI 冲击各种数学猜想,越来越像永不结局的连续剧。这个模型又拿到了更高分,那个模型又解开了一道多年无人攻克的难题,人类的数学智慧岌岌可危。
新智元报道 你敢信? 人没上大学,研究已经接上了「菲尔兹奖得主」的工作了。 就在今天,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的这个大瓜。
《纽约时报》最新追访,补出了这场冲突中此前没有披露的细节。