搜索
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）的存在性与光滑性问题。
数学史级别的大新闻，愣是被OpenAI整成了一出连续剧。
OpenAI宣布其内部多智能体系统完成千禧年大奖难题之一纳维尔斯托克斯方程存在性与光滑性问题的解答并公开论文及Lean形式化证明，研究员陈立杰称这是"不可思议的时代"，但成果引发与纽约大学流体力学专家Tristan Buckmaster之间关于研究优先权与过程透明度的争议。