🚨 OpenAI 研发了名为Astra 的新 AI 引擎，独立攻克了人类数学和理论计算机科学界悬而未决的 10 个顶级难题。 短期，这对你我没有直接用处，这些结果本身几乎不落地到产品里。 长期，这样的意义其实是值得思考的。 1.这是首次有 AI 在人类完全卡住的前沿问题上拿出可验证的原创结果，并非刷题复现。 2.Lean 形式化证明让这些结论能被机器逐行检查，绕开了AI 胡编的老问题。 3.2000美元换十个结果，这样的成本，如果可复制，科研的产出方式绝对会被改写。 AI 的确拥有推动人类科学边界的能力。这里面包含的通信编码、后量子密码、电路复杂度，会直接指导未来的超级芯片设计、下一代加密网络、以及极限通信技术。 当然，形式化证明只保证推理无误，还需要数学家独立确认每条形式陈述确实对应了原问题、结果是否真的新颖、对各自领域影响多大。数学圈现在正在验证阶段。
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science. We believe it will be a major step for scientific reasoning. https://openai.com/index/ten-advances-in-mathematics/ https://x.com/polynoamial/status/2083467194663571701/photo/1
· 4.3K Views
