Lean验证

如何看待 OpenAI 下一代模型 Astra 大量解决数学猜想？

OpenAI于2026年8月1日正式披露其下一代主要模型Astra，公布该模型在数学和理论计算机科学领域取得的十项重大突破。这些问题此前至少十年未获实质进展，涵盖高维几何、群论、量子复杂性等多个前沿领域。据OpenAI称，按Sol API费率计算，解决这些问题的token成本约为2000美元。相关证明、论文及思考过程已在GitHub等平台开源。