OpenAI未发布模型Astra解决十项重大数学难题
OpenAI宣布其内部版本的下一个主要模型Astra在数学领域取得重大突破,解决了十个重大开放数学问题,包括高维球堆积、二进制和球面码、非sofic群存在性、Connes刚性猜想反驳、算术电路复杂度下界、量子并行重复定理、最近向量问题、Ehrhart体积猜想、多色Ramsey数下界以及极值图论猜想。据OpenAI称,这些结果的总token成本按Sol API费率计算约为2000美元,每个论证已由人类使用同一模型整理成手稿,并通过Lean证书形式化验证。OpenAI研究员Noam Brown表示,他们尝试了其他重大问题但未成功,且尚未解决千禧年大奖问题。