Openai的神秘通用模型确实成功了5个困难的IMO 2025问题并成功地赢得了黄金？这一消息是由格雷格·布罗克曼（Greg Brockman）和其他大人物兴奋地重新发布的。换句话说，OpenAI可能会开发出令人不安的推理技术，以完全向婴儿床说再见。还有另一个新闻：GPT-5也会来。就在昨天，世界上领先的大型模型在2025年的IMO场上被淘汰，他们没有触及铜奖章的边缘。但是，如今，Openai倒塌了炸弹 - 他们通过全新的“通用推理模型”成功地在IMO 2025上赢得了金牌！ 6个问题，解决5个问题，得到35分！您知道，表现最好的Gemini 2.5 Pro也得到13分。亚历山大·韦（Alexander Wei）负责人的Liananchuang Greg Brockman和Openai的各种研究人员都很高兴地宣布这是实现这一目标的这一里程碑！作为回应，德国父亲霍尔德·诺姆·布朗（Noam Brown）说，这一胜利的重要性是X取得了“ AI征服IMO”本身。消息发布后，整个硅谷都感到兴奋！人们认为Openai目前可能已经推出了颠覆性推理技术，该技术已完全告知传统小屋。这不仅是模型的成功，而且是新季节的开始！令人惊讶的是，Openai宣布，这种历史性的模型不是传闻中的GPT-5，而是一种新的实验模型！而且该模型根本不会发布，这太神秘了！赢得了IMO金牌亚历山大·韦（Alexander Wei）和他的团队的神秘模型使该模型能够在人类等确切条件下进行制造：两个4.5小时的测试期，没有工具，没有网络，仅基于理解问题，写出了自然语言的完整证明过程。然后，IMO奖牌的三位前获奖者将其评为牢固。最终，该模型以惊人的35/42高分达到了黄金水平。相比之下，无论是去做DOTA还是其他复杂活动，过去，AI经常在特定地方接受特殊培训，如果它想赢得胜利。但是此时，Openai打破了这一钢制规则 - 新模型不仅是“ IMO专门提供的，而且也可以想到很多时间。相反，我们所熟悉的O1模型是在几秒钟内计算出来的，并且在几分钟内计算了深入的研究。这是自然而然的障碍，与过去的范围相比，AI在过去的范围上是什么？ GSM8K（大约为0.1分钟的人）→数学基准（大约1分钟）→AIME（大约10分钟）→IMO（大约100分钟）。Omplex，将无法与人类数学家的水平争论。此外，该模型尚未通过培训“特定工作（IMO）”来实现这种能力，而是在测试时实现了新的突破性的学习和扩展计算的一般增强。那么，昨晚暴露的O3-Alpha只是前戏吗？事实证明，这是Openai真正阻止的最后一步！如果您有兴趣解决问题的完整过程，则可以查看Openai发布的2025 IMO竞赛问题的答案。该模型解决了第一个至第五个问题（P1-P5），但未能解决第六个问题（P6）。正如谣言所说，目前的第六个问题非常困难，世界上只有6个人解决了问题。仓库地址：https：//github.com/aw31/openai-imo-2025-proofs/blob/main/main/readme.md，让我们看一下前五个问题的新模型解决问题的特定过程。第一个问题是分析几何形状的问题。可以看出，回答这个问题的要点是Rentof查找N线涵盖点和可能的阳光数量。该模型采用了一个独特的程序来确定满足条件的所有非负整数K。引理：当n≥4时，覆盖P_N的任何直线均应使用三角形的一侧。对n = 3的情况进行准确检查。对于一般n≥3，已证明每个n的k = 0、1、3调整。主要结论的证明是使用引理减少来实现的。第二个问题是平面几何形状的问题。示意图如下。在大网民发布的答案中，很难证明穿过点H的直线和与AP并行相切，在三角形BER的周长中是切线的。但是，这个问题可能会由另一个陈述代替：确定x Bilang ef的中点不包含B。如果证明HX与EF平行，则可以证明该结论。另一方面，如果该线的切线应与中间的圆接触。因此，足以证明这两个点。在证明过程中，模型主要完成以下四个步骤：设置和参数的评估。令P为三角形ACD的外部中心。连接AP和两个圆圈和γ的交点分别为E和F点E和F。找到传递点B，E和F的圆周圆的方程。第三个问题是一个函数问题。在解决人类玩家的解决方案中，这个问题的关键是在伊巴胡希斯平等中的图片中证明黄色。该问题的模型解决方案分为以下四个步骤。 IsConsolixing Bonza类型，即满足P_F所有权的函数。当操作在某个素数中的值大于1时，consi与模块化质数的含义的关系的连贯性。差异 - IT：如果一个唯一的基本数字P满足F 1，则整个函数F应该是身份函数。输入基本的引理结构：在非相似功能的情况下研究功能结构。第四个问题是数字理论的问题。它解决问题的主要步骤可以通过以下形式更改。在回答模型的过程中，采用了类似的想法。第五个问题检查了游戏的理论。解决此问题的解决方案包括以下三个部分。在解决过程期间，讨论了以下三种情况。当λ≥C（无防御）时，爱丽丝总是赢。当λC时，爱丽丝赢了。当λC（C = 1/√2）时，Bazza赢了。第六个问题涉及图的组合数学。只有6场人类竞赛可以使这个公认的问题。 O3，O4-Mini，Gemini 2.5 Pro，Grok-4和DeepSeek-R1的六个大型型号也得分为零。甚至Openai的超级模型失败了。目前，世界上没有大型模型可以解决第六个问题。宣布新闻时，复活节彩蛋亚历山大·韦（Alexander Wei）使用了“草莓”图像。 “草莓”是Openai在其内部开发过程中使用的代码的名称。它用于促进一种新的项目模型，该模型是当今我们熟悉的“或”模型的系列。 Alex Wei是Openai的一名研究科学家，他对主要语言和推理模型的研究方向的主要方向。我还研究了机器研究，游戏理论和算法的交集。他获得了加州大学伯克利分校，尼卡·哈格塔布（Nika Haghtalab），迈克尔·乔丹（Michael I.他是公平团队的成员，并参加了在外交游戏中达到人类级别的第一个人工智能的建设-Cicero。结果发表在Science in 2022. Reference materials: https://x.com/alexwei_/status/1946477428555532918