OpenAI新模型Astra首秀：一口气推进10道十年未解数学难题

2026-08-01 17:13

Share To

ChainThink 消息，8 月 1 日，OpenAI 首次正式公布下一款主力模型 Astra，其内部版本在 10 个长期未解的数学和理论计算机科学问题上取得新结果。

这些问题的核心结论至少 10 年没有进展，多数停滞时间更长。其中，Astra 首次构造出非 sofic 群，回答了群论中的一个核心开放问题；

同时推翻 Connes 刚性猜想，并解决 3 个 Erdős 问题。其余成果涉及球体堆积、编码理论、量子复杂性和后量子密码相关问题的新上下界与困难性证明。

OpenAI 称，模型找到这 10 项结果所用 Token 按 Sol API 价格折算约为 2000 美元。

相关数学论证由 Astra 生成，人类随后协助整理成论文，模型再将每项证明转成 Lean 证书，用于计算机逐步核验推导是否成立。

Disclaimer: Contains third-party opinions, does not constitute financial advice

Recommended Reading

Amazon announces a multi-billion dollar investment in Missouri to build a data center campus, expected to create over 400 long-term positions

06-16

Elon Musk's current personal net worth has risen to the range of $1.1 trillion to $1.2 trillion.

06-15

OpenAI and Anthropic Employees Cash Out $14 Billion in Five Years

06-15

Tencent Involved in Investment in Lin Junyang's AI Lab, Former Head of Alibaba's Qwen, Valued at $2 Billion

06-15

Binance will delist the CVC/USDC, RPL/USDC, RVN/USDC, and XAI/USDC leveraged trading pairs on June 19

06-15

U.S. Security Experts Unite to Urge Repeal of Anthropic Ban, Warn That Restricting Defensive Tools Will Lose the AI Race Against China

06-15

Musk vows SpaceX revenue to reach $1 trillion by 2030

06-15

Amazon announces a multi-billion dollar investment in Missouri to build a data center campus, expected to create over 400 long-term positions

Elon Musk's current personal net worth has risen to the range of $1.1 trillion to $1.2 trillion.

OpenAI and Anthropic Employees Cash Out $14 Billion in Five Years

Tencent Involved in Investment in Lin Junyang's AI Lab, Former Head of Alibaba's Qwen, Valued at $2 Billion

Binance will delist the CVC/USDC, RPL/USDC, RVN/USDC, and XAI/USDC leveraged trading pairs on June 19

U.S. Security Experts Unite to Urge Repeal of Anthropic Ban, Warn That Restricting Defensive Tools Will Lose the AI Race Against China

Musk vows SpaceX revenue to reach $1 trillion by 2030