OpenAI Astra 模型连破 10 大数学难题，生成证明成本不足 2000 美元
haider1 · x · 2026-08-01
OpenAI 即将推出的 Astra 模型在数学和理论计算机科学领域取得 10 项突破，包括推翻 Connes 刚性猜想等。据推文透露，生成所有这些证明的总成本在 Sol API 价格下不足 2000 美元。这标志着 AI 在解决复杂高维问题上展现出惊人的效率与经济性。
所属事件:传OpenAI模型Astra连破十大数学难题(28 条相关)→
「模型」频道最新
- 微软高管预告下一代模型 Astra：连破 10 大数学难题 — ctjlewis · 2026-08-01
- Poolside Laguna S 2.1 更新 FP8 权重，原生支持百万上下文 — rmhubbert · 2026-08-01
- 芝大与耶鲁研究：LLM 科研思路比人类更狭隘 — rohanpaul_ai · 2026-08-01
- Gemma 3 27B 本地编码频频翻车：文件编辑常因缩进失配失败 — DanTup · 2026-08-01
- DeepSeek Harness 开启内测，招募 Agent 开源项目开发者 — jiayuan_jy · 2026-08-01
- DeepSeek 比 Opus 便宜数十倍，但 Opus 仍胜出 — mustafamhus · 2026-08-01