OpenAI 下一代模型 Astra 以 2000 美元算力破解十大数学难题

8月1日，OpenAI宣布了数学与理论计算机科学领域的十项突破，这些成果是由其下一代主模型Astra的内部版本实现的。根据Sol API定价，为求解这些问题所花费的令牌总成本约为2000美元。这十项突破包括：高维空间中致密球堆积的上界、二进制与球形码界的改进、非可解Sophie群存在性的证明、对Connes刚性猜想的反驳、算术电路复杂性的新下界、量子并行重复定理、最近向量问题多项式因子近似难度的证明、Ehrhart体积猜想、多色Ramsey数的超指数下界以及极值数猜想。