OpenAI 公布 AI 证明 10 项数学难题，成本约 2000 美元

OpenAI 官方公布在数学与理论计算机科学领域的十项进展，涉及多个悬而未决至少十年的难题。成果由下一代核心模型 Astra 的内部版本计算得出，按 Sol API 费率估算 Token 成本约 2000 美元；OpenAI 称证明由系统生成，人类研究员用 Lean 语言形式化验证并负责。