OpenAI模型在国际数学奥林匹克运动会上获得金牌得分,并进步了人工通用情报

OpenAI研究人员揭示了他们的实验模型如何没有任何外部辅助工具,通过数小时的证明为在国际数学奥林匹克运动会上获得金矿成绩,并讨论了该项目的起源,并描述了这些工作如何帮助人工智能

来源:科学美国人

在7月2025年国际数学奥林匹克(IMO)的几个月前,Openai的一支三人团队很长一段押注,他们可以利用比赛的残酷棘手的问题来训练人工智能模型自行思考数小时,以便能够写数学证明。他们的目标不仅是创建一个可以进行复杂数学的人工智能,而且还可以评估歧义和细微差别的数学,如果有一天会承担许多具有挑战性的现实世界任务,他们将需要Skills AIS。实际上,这些正是创造人工通用情报或AGI所需的技能:人类水平的理解和推理。

人工智能 人工通用情报

IMO今年在澳大利亚的阳光海岸举行,是全​​球最重要的数学竞赛,召集了来自100多个国家 /地区的顶级竞争者。所有这些都有相同的六个问题(每天三个,每人价值7分)在两天内解决。但是这些问题与您可能从高中所记得的那样不像。每个人都要求以长期书面证明的形式持续推理和创造力,而不是简短的数字答案。这些逻辑,逐步的论点必须跨越许多数学领域,这是直到今年AI Systems在壮观失败之前的问题。

数学 在线发布

支持科学新闻业

如果您喜欢这篇文章,请考虑通过订阅来支持我们屡获殊荣的新闻。通过购买订阅,您可以帮助确保有关当今世界的发现和想法有影响力的故事的未来。

订阅 科学美国人

[访谈的编辑笔录。]

访谈的编辑笔录如下。

是什么促使您突然开始为IMO准备AI模型,仅仅几个月前就开始了?火花是什么?

推理模型在IMO中赢得黄金的哪种方式可以帮助导致AGI?