OpenAI Astra 24小时破解10个Lean 4数学难题 成本低于2000美元 训练细节仍未披露
OpenAI在过去24小时内发布Astra模型，成功解决10个Lean 4认证的长期数学和理论计算机科学问题，推理成本低于2000美元。此事已获多方证实。X平台讨论迅速升温，业界视其为推理能力进展，但模型训练细节和后续应用仍待披露。作为AI
OpenAI在过去24小时内发布Astra模型，成功解决10个Lean 4认证的长期数学和理论计算机科学问题，推理成本低于2000美元。此事已获多方证实。X平台讨论迅速升温，业界视其为推理能力进展，但模型训练细节和后续应用仍待披露。作为AI
OpenAI于2026年8月前后公布，其下一代主力模型家族Astra的内部版本在数学、量子复杂性和理论计算机科学领域解决了10个开放问题，问题积压至少十年，全部解决方案的token成本约2000美元。该模型支持多智能体协同处理长时间任务，已