@MaxForAI: 一个残酷的事实,AI的数学能力已经超过这个世界上99%的人类了。 @MenloVentures 合伙人,曾投资了Anthropic、OpenRouter的Deedy @deedydas 进行了一次测试。 他用刚结束的2026 年国际数学奥…
摘要
AI模型Fable、Sol、K3和Axiom在2026年国际数学奥林匹克竞赛中全部取得满分42/42的成绩,首次完全解决了该竞赛,且成本低廉。其中Claude Fable 5速度最快,GPT 5.6 Sol成本最低。
查看缓存全文
缓存时间: 2026/07/21 16:46
一个残酷的事实,AI的数学能力已经超过这个世界上99%的人类了。
@MenloVentures 合伙人,曾投资了Anthropic、OpenRouter的Deedy @deedydas 进行了一次测试。
他用刚结束的2026 年国际数学奥林匹克竞赛(IMO)的原题让AI来测试。
这是世界范围内面向高中生最难的数学竞赛,之前还作为最常用的测试之一来评测AI模型的数学能力。
他让 Fable(高配置)、Sol(超高配置)、K3(最大配置)和 Axiom 参与了此次竞赛,它们均取得了 42/42 的满分成绩。
作为参考,在过去7年的比赛中,共有4347位人类选手参加,仅有30人获得满分42分,比例是0.69%。
— Claude Fable 5 仅用一次尝试便解出所有题目,且速度最快。 — GPT 5.6 Sol 多花了一次尝试,但成本最低。 — Kimi K3 做到了,但多花了 4 次尝试,并且消耗了大量 token。
根据尝试次数和 token 数量判断,第3题和 第6题最难,其次是第2题。
人类学生们有 9 小时来解决这 6 道题,而 Fable 和 Sol 均在 4 小时内完成。
这是国际数学奥林匹克(IMO)首次被彻底解决。
去年,表现最佳的模型是尚未发布的 Gemini Deep Think 和一个实验性的 OpenAI 模型,两者均取得了 35/42 的成绩。
今年,包括一个即将开源权重的模型(K3)在内的三个面向公众开放的模型,仅以 10 至 50 美元的成本就做到了这一点!
人工智能的能力已正式远远超越了国际数学奥林匹克竞赛的水平。
Deedy (@deedydas): The International Math Olympiad (IMO) 2026, the hardest math contest for high schoolers, just ended.
I ran Fable (high), Sol (xhigh), K3 (max) and Axiom against it and all got a perfect score of 42/42 (repo below if you want to check their solutions): — Claude Fable 5 was the
相似文章
@paperpaper886: 上周有和数学系的朋友讨论过AI4Math的现状和未来,他说现在的AI作为辅助工具已经足够强大,但如果AI要做独立自主的discovery还有一段路要走
讨论了AI在数学领域的现状与未来,引用事例称ChatGPT 5.5 Pro自主解决了高维计算几何中死卡多年的最远点对问题,显示AI在数学发现上的潜力。
@VraserX: 你实在无法过度吹嘘这个。GPT-5.6 Sol Ultra,这是一个公开可用的AI,刚刚破解了一个50年未解的数学猜想……
GPT-5.6 Sol Ultra,一个公开可用的AI模型,在一小时内破解了一个50年未解的数学猜想,这表明AI可能在未来十年内解决数学问题。
@VraserX: OpenAI 使用其能解出此前未解数学问题的内部模型来改进自身算法……
据称 OpenAI 使用其能解出此前未解数学问题的内部模型来改进自身算法,将推理成本降低了约 50%,显示出 AI 开始反哺提升自身效率。
@FinanceYF5:OpenAI 已正式发布此前“解决数学开放问题”声明背后的完整论文:722 篇数学手稿……
OpenAI发布了此前"解决开放数学问题"声明背后的完整论文:涵盖722份数学手稿、372项重要成果,均来自对约4000个研究问题的测试筛选,每项成果平均消耗相当于ChatGPT Pro思考3小时的算力。
OpenAI 再向震动不已的数学界抛出数百项成果
继其大语言模型解决二十年来最大数学突破之后,OpenAI 宣布其新内部模型已再产出 372 项成果,每项都解决或大幅推进了数学或理论计算机科学中的重大公开问题,且不再需要数百万美元的成本。