Mikhail Gromov

OpenAI 的 Astra 模型解决了十年来的数学难题，引发了关于 AI 创造力的辩论

据报道，OpenAI 的内部模型 Astra 已经解决了十个复杂的数学和理论计算机科学问题，其中包括一个自 1999 年以来一直悬而未决的问题。这些解决方案已在 GitHub 上得到验证和发布，并且推理成本很低。虽然这一成就意义重大，但专家指出，Astra 解决问题是在现有的概念框架内进行的，而不是发明新的概念框架，这使其与范式转移的科学突破区分开来。