搜索
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捣鼓数学证明。
刚刚，OpenAI 发文投下一颗重磅新闻，称他们使用一种比 GPT-6 Astra 更强大的、未公开的下一代前沿大模型，联合约 10000 个并发协作的 AI Agent，仅耗时 88 个小时，便攻克了克雷数学研究所设立的七大千禧年难题之一 —— 纳维 - 斯托克斯方程（Navier-Stokes Equation）的存在性与光滑性问题。