2000 美元，买下了数学史上的一个新时代
OpenAI 内部模型 Astra，仅消耗约 2000 美元的推理 Token，就解决了 10 个数学与理论计算机科学领域的开放问题。
这些并非竞赛题，而是国际学术界悬而未决十年以上、部分长达数十年的研究问题，涉及 群论、离散几何、编码理论、量子复杂性、格密码学 等方向。
所有证明均提供 Lean 形式化验证，可由计算机独立验证其正确性。
如果未来每一次科学发现的边际成本都下降几个数量级，人类科研的速度，可能才刚刚进入一个全新的时代。
科技AMA 人工智能 AI工具 大模型 数学
读博 chatgpt deepseek claude