主要来源arXiv: OpenAI
查看原文事件专题 ·官方一手
arXiv 新论文给出 Brennan 猜想的更短证明
2026 年 10 月，OpenAI 发布两篇预印本，证明 Brennan 猜想并否定 Kraetzer 更一般的 t²/4 猜想。随后一篇 arXiv 论文指出 OpenAI 证明中大部分论证冗余，给出一个大幅缩短的证明，并得到更强的结论。作者表示这次人机协作过程富有成效。
当前结论
OpenAI 用 AI 证明了数学界悬了几十年的 Brennan 猜想，有人还把证明砍短了，数学圈和 AI 圈都该看看。
9 个信源41° AI 热度最后更新 2026/10/16 17:59:11
证据链
9 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。