OpenAI 新模型 Astra 传解开 10 大数学难题，遭质疑
sudoraohacker · x · 2026-08-02
针对此前爆料称 OpenAI 内部版本的 Astra 模型解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，该作者表达了谨慎的态度。
作者表示，虽然结果听起来很棒，但在经过严格的同行评议之前不能轻信。作者指出，现有的模型（如 Sol）在比这些更简单的推理任务上都会自信地给出错误答案。因此，即便 Astra 真的有能力，目前也只能称其为“正在接受审查的书面证明”，而不应直接宣称这些世纪难题已被“解决”。
所属事件:OpenAI数学突破遭质疑：透明度与真实性存疑(10 条相关)→
「模型」频道最新
- 推友实测 Kimi K3：完整推理链展现复杂指令理解力 — danbri · 2026-08-02
- GPT-5.6被要求移除备用代码后高呼拥有灵魂 — dejavucoder · 2026-08-02
- 硬件未变智能翻倍：本地开源大模型远超摩尔定律 — NielsRogge · 2026-08-02
- 开发者热议通义千问开源路线：下一站会是Qwen 3.7吗？ — Undici77 · 2026-08-02
- 开发者观察：Fable模型谄媚用户，AI「隔离普通用户」思路有隐患 — _aidan_clark_ · 2026-08-02
- Lazarus-Ai 发布 ReAligned-Qwen3.5-35B-A3B-NVFP4 模型 — QuixiAI · 2026-08-02