惊艳！用OpenAI o1解“传奇的第6题”

GPT452024-09-13 21:21:3367

今天凌晨，OpenAI发布了o1系列，也就是传说中的“草莓”。这是OpenAI首个引入了强化学习（Reinforcement Learning）的模型，在输出回答之前，会产生一个很长的思维链（Chain of Thought，CoT），以此增强模型的能力。

作为GPT plus用户，当然要做“第一波吃草莓的人”，看看o1水平如何？

国际数学奥林匹克竞赛（IMO）历年来提出了许多非常具有挑战性的问题，每年的题目在难度和风格上有所不同。根据历史记录和许多数学爱好者的评价，有几道题被认为是特别困难且著名的，其中之一是1988年IMO第6题。

题目如下：

正整数a、b满足ab+1可以整除a²+b²，证明(a²+b²）/(ab+1)是某个整数的平方。

我们请o1帮助解题。它开始思考，81秒后开始答题，得出以下答案：

在81秒的时间内，它是怎么思考的呢？

以上过程仅经历了81秒！

‌OpenAI曾在今年提出通用人工智能（AGI）五级标准‌，分别是：

‌第一级：聊天机器人（Chatbots）‌：具备语言对话能力的人工智能，能够进行基本的对话和交流。

‌第二级：推理者（Reasoners）‌：具备人类的推理水平，能够解决多种复杂难题。

‌第三级：代理人（Agents）‌：能够代表用户自主采取行动，执行任务。

‌第四级：创新者（Innovators）‌：可以协助人类完成新发明，具有辅助创新的能力。

‌第五级：组织者（Organizations）‌：能够完成组织工作，具有全面管理和组织的能力。

今天，我们是否有理由相信，已经开始向第2阶段推理者（Reasoners）过渡？

本文链接：https://lipu365.com/gpt4_gpt5_150.html

OpenAI 悄悄开启 OpenAI full-O1 测试！