OpenAI公布十项数学进展

OpenAI称Astra内部版本生成十项数学与理论计算机科学进展，总Token成本约2000美元。

推荐理由：十个停滞十年以上的问题由模型生成论证、人类做Lean形式化验证，且总Token成本约2000美元，显示AI科研的瓶颈正从求解转向验证、署名和责任边界。