圈内爆料称 Anthropic 或已解决纳维-斯托克斯方程
iskander · x · 2026-09-05
有圈内人士爆料称,Anthropic 可能已经找到了纳维-斯托克斯方程(Navier-Stokes,千禧年大奖难题之一)的解。爆料源自 Elliot——此人对前沿 AI 数学能力的预判过去相当准确——基于 Anthropic 数学模型 Astra 的实际使用体验做出的推断。
作者 iskander 表示虽属"gossip",但用过 Astra 后认为未来 2-3 年许多著名数学问题被 AI 证明是可想象的,并提出追问:届时数学界是否要转向构造更新的、更难的形式系统?目前消息未获官方证实,"big if true"。
所属事件:传Claude攻克纳维-斯托克斯难题，陶哲轩发文回应(9 条相关)→
「模型」频道最新
- Machine Witness：让七个AI模型每周点评AI新闻的网站 — kavanutz · 2026-10-21
- 小模型 Jev 分类与 Opus 判断一致率达 95%,可用人工标注再微调 prompt — honnibal · 2026-10-21
- 用户抱怨 ChatGPT 5.6 后变啰嗦：宁愿付双倍换回 5.5 — arandorion · 2026-10-21
- Grok Bot 口碑发酵：从Builder到新用户都说「开箱即用」 — XFreeze · 2026-10-21
- Anthropic 发布 Claude Sonnet 5.5：终端基准 10.3% 跳至 70.6%，单任务成本降 30% — Aiden_Tech_Ai · 2026-10-21
- 谷歌称 Gemini 4 Argon 模型发现并协助修复 PHP 关键漏洞 — RSync25 · 2026-10-21