曝谷歌 Astra 内部版破解 10 大数学难题，成本仅 2000 美元
reach_vb · x · 2026-08-01
谷歌下一代重磅模型 Astra 的内部版本在数学和理论计算机科学领域取得突破。该模型成功找到了 10 个长期悬而未决的开放性数学问题的新解法。
据测算，寻找这 10 个解法的总 token 消耗成本仅为 2000 美元。此外，Astra 还使用 Lean 编程语言对每个数学论证进行了形式化验证。
「模型」频道最新
- Speechify发布Simba 3.2：语音生成榜单登顶且成本仅十分之一 — PrajwalTomar_ · 2026-08-01
- 观点：当前AI视频处理成本过高，急需原生视觉工具 — JoelMahon · 2026-08-01
- DeepSeek V4 Flash 本地跑分追平 5 个月前顶级模型 — joorklee · 2026-08-01
- 曝 OpenAI 正研发 Astra 模型，多智能体可连续工作数天 — The Decoder · 2026-08-01
- 10亿参数级大模型正在被各大厂商放弃？ — winter-m00n · 2026-08-01
- 实测 105 个 Bug：最贵模型不碰代码，Luna 性价比远超 Fable — PawelHuryn · 2026-08-01