OpenAI新模型耗资2000美元解决10大数学难题
rohanpaul_ai · x · 2026-08-04
推友指出，花费 2000 美元的 API token 成本甚至低于派两人参加学术会议的差旅费，这种成本结构的质变正在改变攻克开放性难题的逻辑。
OpenAI 透露，其下一代主要模型的内部版本成功解决了数学和理论计算机科学领域长期悬而未决的 10 个难题，且消耗的 token 成本仅约 2000 美元，并生成了完备的 Lean 形式化证明。
所属事件:OpenAI称下一代模型解出十大数学难题(14 条相关)→
「漫话AGI」频道最新
- AGI 发展正狂飙突进，是时候重新审视你的个人身份与热爱 — UltraRareAF · 2026-08-04
- 大佬断言AI智能正加速跃迁：奇点已至 — iruletheworldmo · 2026-08-04
- 人形机器人改变经济无需完美，只需比人工更便宜 — VraserX · 2026-08-04
- Derya 辩驳 LeCun：脱离工具与接口，单纯大脑不如 LLM — DeryaTR_ · 2026-08-04
- 研究者呼吁引入哲学人才：苏格拉底法可减少 AI 讨好 — rkulidzan · 2026-08-04
- AI Agent 犯下昂贵错误，责任究竟该由谁承担？ — coreDhristi · 2026-08-04