OpenAI Astra模型解决10个数学未解问题

Astra模型攻克高维几何等10项难题，算力成本仅2000美元，并通过Lean系统生成可验证证明。

据 Woofun AI 消息，OpenAI 新一代 AI 模型 Astra 在数学及理论计算机科学领域取得进展，公布了涉及高维几何、编码理论、群论、量子复杂性、后量子密码学及极值组合学等方向的10项研究成果。这些成果涵盖高维球面填充、二进制与球面编码、非索菲克群、康尼斯刚性猜想、算术电路复杂性、量子并行重复、最近向量问题、埃哈特体积猜想、多色拉姆齐数及极值图论猜想。