OpenAI 推出内部推理模型成功反驳 80 年未解几何猜想

OpenAI 宣布其内部推理模型生成原创数学证明，反驳了自 1946 年以来未被解决的几何猜想，显示高级推理 AI 在数学领域具备前所未有的能力。