14:57rohanpaul_ai@rohanpaul_ai83°OpenAI 的通用推理模型成功推翻了一个自 1946 年以来的 Erdős 平面单位距离猜想,证明了存在无限族构造能多项式改进已知上界。关键在于该模型并非专用定理证明引擎,而是通过增加测试时计算(推理阶段思考)来提升表现,无需大量领域特化训练。这一突破展示了通用推理系统在数学探索中的潜力,能够跨越几何与代数数论(如类域塔理论)的鸿沟,发现人类因学科边界和直觉限制而忽略的路径。外部数学家已验证了该证明的正确性。AI模型推理模型数学OpenAIErdős 猜想测试时计算10 个信源在谈推荐理由:OpenAI 用通用推理模型解决了一个困扰数学家近 80 年的难题,证明 AI 不需要专用引擎也能做前沿数学研究。做 AI 推理或数学建模的团队值得关注——它展示了“推理时计算”比“更多训练”更能带来突破。原文