Event ·Official first-hand

arXiv 新论文给出 Brennan 猜想的更短证明

2026 年 10 月，OpenAI 发布两篇预印本，证明 Brennan 猜想并否定 Kraetzer 更一般的 t²/4 猜想。随后一篇 arXiv 论文指出 OpenAI 证明中大部分论证冗余，给出一个大幅缩短的证明，并得到更强的结论。作者表示这次人机协作过程富有成效。

Current read

OpenAI 用 AI 证明了数学界悬了几十年的 Brennan 猜想，有人还把证明砍短了，数学圈和 AI 圈都该看看。

9 sources41° AI heatLast updated 2026/10/16 17:59:11

Evidence

9 sources

Primary sourcearXiv: OpenAI

2026/10/16 17:59:11View source

Related source 1AI Will

2026/10/15 02:20:45View source

Related source 2kimmonismus

2026/10/14 20:47:04View source

Related source 3elvis

2026/10/15 17:51:01View source

Related source 4MIT CSAIL

2026/10/16 16:01:21View source

Related source 5The Information

2026/10/16 17:30:06View source

Related source 6IT之家

2026/10/17 10:31:25View source

Related source 7Y Combinator

2026/10/17 15:01:31View source

Related source 8rohanpaul_ai

2026/10/18 08:03:42View 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