OmniTools 9月9日消息，OpenAI 研发的数学推理模型 Astra 在高维球堆积问题上取得进展，成功证明了渐近 Cohn–Elkies 线性规划界，并构造出达到该界的函数，同时验证该框架下不存在更优解。此外，Astra 将非 sofic 群相关证明压缩至约 15 页，依赖于方向判断、技术执行与重启机制。研究指出，模型在完成既定任务后即终止，凸显监督干预与长周期任务执行能力仍是当前关键挑战。
