OpenAI公布数学与理论计算机科学十项进展，Token成本约2000美元

OpenAI公布十项数学与理论计算机科学进展，均由下一代核心模型Astra的内部版本计算得出，解决了多个十余年未解的难题。按Sol API费率计算，生成这些解答的总词元成本约为2000美元，约合13530元人民币。人类研究员在Lean语言中对证明进行了形式化验证并负责正确性，但数学论证本身由AI系统生成。成果包括将球体堆积密度上界收紧至Cohn-Elkies阈值、证明非柔性群存在、证伪Connes刚性猜想等。