OpenAI新模型耗资2000美元解决10大数学难题
rohanpaul_ai · x · 2026-08-04
推友指出，花费 2000 美元的 API token 成本甚至低于派两人参加学术会议的差旅费，这种成本结构的质变正在改变攻克开放性难题的逻辑。
OpenAI 透露，其下一代主要模型的内部版本成功解决了数学和理论计算机科学领域长期悬而未决的 10 个难题，且消耗的 token 成本仅约 2000 美元，并生成了完备的 Lean 形式化证明。
所属事件:OpenAI称内部模型2000美元解决10项数学难题引争议(15 条相关)→
「漫话AGI」频道最新
- 学者讨论 AI 垂直整合困局：厂商难自办律所，出路何在 — sethlazar · 2026-10-16
- METR 指出公众对 AI 实验室存在三大盲区：密谋、监控与研发加速 — CFGeek · 2026-10-16
- LMR-BENCH 登 EMNLP 2025:LLM Agent 能否复现真实语言建模研究 — ZhiyuChen4 · 2026-10-16
- 研究者预判:Deep Research 对专家真正有用将是 RSI 到来的先行指标 — ZeeshanZiaML · 2026-10-16
- 物理学者视角质疑：ML 社区不该默认模型「不可理解」 — tszzl · 2026-10-16
- Ben Affleck 称 AI 只是矩阵运算,Grady Booch 亦附和否认机器思考 — Grady_Booch · 2026-10-16