谷歌下一代 Astra 模型内测：耗资 2000 美元解决十大数学难题
yacineMTB · x · 2026-08-01
谷歌 DeepMind 联合创始人 Demis Hassabis 透露，其下一代重要模型 Astra 的内部版本在数学和理论计算机科学领域取得了十项重大突破。
- 成本与算力：解决这些复杂问题总计消耗了价值约 2000 美元 的 API 算力（按 Sol API 价格计算）。
- 具体表现：推文引用了具体案例，指出该模型在证明 nonsofic groups（非sofic群）时，仅“思考”了 34 分钟 就得出了有效证明；而在另一个名为 Fable 的任务中，模型几乎用尽了 5 小时的单次会话上限（相当于 20 倍 Pro 版额度）。
「模型」频道最新
- Gary Marcus：纯LLM本质仍是随机鹦鹉，Astra证明需引入神经符号计算 — GaryMarcus · 2026-08-02
- Speechify Simba 3.2登顶同价位实时AI语音盲测榜首 — emmanuelvivier · 2026-08-02
- Google DeepMind 发布 Gemini Robotics 2：实现机器人全身智能控制 — emmanuelvivier · 2026-08-02
- GPT-5 一次破解难题，菲尔兹奖得主担忧数学文化毁灭 — The Decoder · 2026-08-02
- antirez 实测多款国产 AI 模型编程能力 — antirez · 2026-08-01
- 用户吐槽 Gemini 安全过滤极度过敏,正常对话频频被拦 — BigLead8814 · 2026-08-01