IT Home·· 2026-08-01精选AI 评分80
OpenAI 公布数学与理论计算机科学十项进展，Token 成本约 2000 美元
均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本约 2000 美元
AI 导读
OpenAI 公布在数学与理论计算机科学领域的十项进展，称这些问题至少十年未曾取得实质性进展。成果由下一代核心模型 Astra 的内部版本计算得出，按 Sol API 费率计算 Token 成本约 2000 美元。人类研究员协助撰写论文手稿并在 Lean 中对证明进行形式化验证，OpenAI 表示署名权应如实反映研究成果的产生过程。
推荐理由
十项进展集中在数学与理论计算机科学的长期未解问题，可用于观察 AI 生成形式化证明的投入方式与成本。
来源：IT Home · ithome.com