Event ·Multi-source

大模型在解决未解数学问题上具结构优势

OpenAI的GPT-5在5分钟内解决了被列为开放问题的Erdős问题，并发现了10个其他被认为已解决的论文。Astra模型改进了自1970年代以来未被打破的高维球体堆积问题边界，该问题作者在研究生阶段尝试了6个月却毫无进展。Astra还用约15页证明了非sofic群的存在，而相关的人类突破需要250页和量子复杂性理论工具。

Current read

OpenAI的Astra模型在数学问题上取得突破，改进了40年未打破的球体堆积记录，证明AI在细节处理上优于人类。

11 sources73° AI heatLast updated 2026/9/8 16:16:37

Evidence

11 sources

Primary sourceJustine Moore

2026/9/8 16:16:37View source

Related source 1a16z

2026/9/8 16:38:26View source

Related source 2IT之家

2026/9/7 00:06:45View source

Related source 3SoyaCincau

2026/9/7 05:28:13View source

Related source 4AI Will

2026/9/7 05:39:13View source

Related source 5shao__meng

2026/9/7 06:38:22View source

Related source 6掘金本周最热

2026/9/7 07:42:25View source

Related source 7Blognone

2026/9/7 11:30:06View source

Related source 8The Rundown AI

2026/9/8 17:38:17View source

Related source 9Sam Altman

2026/9/8 17:43:13View source

Related source 10lmarena.ai

2026/9/8 17:45:53View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story