@OpenAI· @openai · X·· 2026-05-21精选AI 评分69
AI 导读
OpenAI 表示，一项离散几何猜想的证明由一个通用推理模型给出，而不是专门为解数学题或该问题构建的系统。该结果被视为数学与 AI 社区的一个重要里程碑，详情见 https://openai.com/index/model-disproves-discrete-geometry-conjecture/。
推荐理由
OpenAI 说明该证明出自通用推理模型而非专为数学问题打造的系统，读者可据此了解结果在数学与 AI 交叉领域的意义。
正文
The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities.
openai.com/index/model-dispr…
来源：@OpenAI · x.com