Event ·Multi-source

OpenAI分享模型数学思维过程

OpenAI的Mark Sellke和Mehtaab Sawhney解释为何发布模型的数学思维过程而非仅证明结果。GPT-5在5分钟内解决了Erdős问题，并发现了10个其他被认为已解决的问题的解决方案。Astra模型改进了自1970年代以来未被打破的高维球体堆积界限，并建立了非sofic群存在性证明。

Current read

OpenAI科学家揭秘Astra如何解决数学难题，包括改进球体堆积记录和证明非sofic群存在。

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

Evidence

11 sources

Primary sourcea16z

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

Related source 1Justine Moore

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

Related source 2Tech in Asia

2026/9/9 09:00:51View source

Related source 3IT之家

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

Related source 4SoyaCincau

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

Related source 5AI Will

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

Related source 6shao__meng

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

Related source 7掘金本周最热

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

Related source 8Blognone

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

Related source 9The Rundown AI

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

Related source 10Sam Altman

2026/9/8 17:43:13View 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