百名数学家半个世纪的成果，AI24天验证通过引大师落泪
24天，对大半个世纪。约100位数学家写了半个多世纪的1.5万页证明，被一套AI系统在24天里翻成机器能逐条核对的代码，一路跑完。见证这一刻的数学家Ken Ono，当场落了泪。他父亲今年1月刚去世。快只是表面。
数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞
10 月 26 日，AI 数学公司 Axiom Math 宣布，由人类数学家和工程师组织的数十个 AI Agent，在 24 天内完成了这一巨型定理的 Lean 形式化，生成约 4310 万行代码、205 万个形式化声明，给出了第一份覆盖整个分类定理的计算机检查证明。更让人意外的是，在这个过程中，Agent 不仅找出历史论文里的错误，还参与构造了一项新的群论结果。
数学验证新纪元：24天AI啃完40年工程代码量超Linux
机器逐行敲定定理，人类苦熬四十年的心血只剩备份。美国公司用多智能体集群二十四天跑完庞大验算，四千多万行代码直接开源。算力堆出来的工业奇迹，正把数学验证的逻辑彻底重写。这项定理当年叫作有限单群分类，说白了就是给对称性做元素周期表。
AxiomProver啃下万年数学巨著：AI补的漏洞，才是真金矿
作者：阿财编辑：陈宇宙24天，4310万行Lean代码，34处被确认的文献偏差——Axiom不是把人类写了50年的数学证明“抄”进机器，而是顺手修好了其中一处40年前的致命逻辑裂口。
突发！OpenAI下一代AI攻克10项菲尔兹奖级难题
数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。
OpenAI公开62页核心手稿，AI连破十大「菲尔兹奖级」难题
十大「菲尔兹奖级」成果，AI证明过程全公开了!今天，OpenAI重磅放出一份长达62页的「核心手稿」，详细展示了GPT的完整推演。
英国老头跟团游中国，吃完团餐后问导游:你们管这叫随便吃一口？
本故事纯属虚构一我叫小周，是省城一家国际旅行社的英语导游。干这行八年了，带过的团不少。有欧美团，有东南亚团，有澳洲团。外国人到中国来，最想看的是长城、故宫、兵马俑，最想吃的是烤鸭、饺子、小笼包。他们的想象里，中国菜就是宫保鸡丁和炒面。可每次带他们吃团餐，他们都会惊讶一次。
OpenAI公开62页核心手稿！AI连破十大「菲尔兹奖级」难题
十大「菲尔兹奖级」成果，AI证明过程全公开了!若以GPT-5.6 Sol API计费标准算，烧掉的所有Token成本，仅2000美元。
突发！OpenAI下一代AI攻克10项菲尔兹奖级难题
数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。