OpenAI发布Astra模型解决10道数学难题

Astra攻克群论及密码学等长期停滞难题，推翻原有猜想，证明成本约2000美元。

据 Woofun AI 消息，OpenAI 正式推出旗舰模型 Astra，该模型在 10 个长期未解决的数学及理论计算机科学难题上取得突破。Astra 在群论领域首次构建出非索菲群，推翻了康尼斯的刚性猜想，并解决了 3 个埃尔德什提出的难题。

此外，该模型还在球面填充、编码理论、量子复杂性及后量子密码学领域提供了新的上下界数值与难度证明。