论文Agent 与开发者多源确认11:56arXiv 新论文给出 Brennan 猜想的更短证明OpenAI 用 AI 证明了数学界悬了几十年的 Brennan 猜想,有人还把证明砍短了,数学圈和 AI 圈都该看看。#OpenAI#Brennan猜想#数学证明#arXiv8 个信源在谈事件专题aarXiv: OpenAI@Ilia Binder 等 4 人9 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI