2000美元算力，解开10个悬了十年的数学难题8 月 2 日凌晨，OpenAI 披露下一代模型 Astra，公布其内部版本取得的 10 项数学与理论计算机科学新成果。先看方向：高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学、极值组合学。都是硬骨头。再看难度：这些问题均已开放至少 10 年，核心结论长期没有实质进展。最后看成本。同一模型把论证整理成 249 页论文，另附 62 页解题思路说明。按 Sol API 费率计算，寻找这些解法的 Token 总成本约 2000 美元，折合人民币约 1.35 万元。三个数字放一起看：十年、249 页、1.35 万。做内容这些年我一直有个观点——AI 是生产力工具，不是玩具。判断值不值得上，就看它有没有把某件事的成本压到跟过去完全不在一个量级。十年攻不下的题，用一万三千块算力给出解法。若结论站得住，改变的不只是数学，是所有依赖长期智力投入的领域的成本结构。但不想把它吹上天。论文能自动生成，不等于结论一定成立。数学界验证一篇论文要多久，从业者都清楚，249 页更是慢工。成果能不能经得起同行核验，还需要相当长的时间。结果落定前，理性态度是：认真对待，但不迷信。如果 AI 真能把科研成本压到这个量级，你最希望它先去攻哪个领域的难题？