在宾夕法尼亚大学，有位数学教授 Robert Ghrist 正在与一款名为 GPT-o1-mini 的 AI 模型展开一场有趣的 “智力对决”。这位教授在努力推导出一个更复杂的瓶颈对偶定理的推广时，经历了无数次的乐观与沮丧的交替。Ghrist 曾尝试使用多个知名的 AI 模型，包括 GPT-4、Claude-3.5和 Gemini-1.5-Pro。这些模型虽然能做出一些假设并提供证据，但常常因一些微妙的错误而 “翻车”，这让 Ghrist 感到颇为挫败。最终，他与 OpenAI 的 GPT-o1-mini 模型携手，取得了突破。这个模型不仅分析了一个有缺陷的证明，找出

OpenAI 的新系统在最近的评估中取得了出色的成绩，夺得了聊天机器人排名的第一名。但是，由于评分数量较低，这可能会扭曲评估结果。根据发布的概述，这些新系统在所有评估类别中都表现出色，包括整体性能、安全性和技术能力。其中一款专门用于STEM任务的系统与9月初发布的GPT-4o版本一起短暂排名第二，并在技术领域占据领先地位。Chatbot Arena是一个用于比较不同系统的平台，使用超过6，000个社区评分对新系统进行了评估。结果表明，这些新系统在数学任务、复杂提示和编程方面表

OpenAI 已向所有 ChatGPT Enterprise 和 ChatGPT Edu 客户提供其最新的 AI 模型 o1-preview 和 o1-mini。这些模型专为处理复杂推理任务而设计，有望改变组织和学术机构解决难题的方式，涵盖从高级编程到科学研究等多个领域。o1模型首次亮相是在本月初，代表了 OpenAI 在创造能够进行深度多步骤推理的 AI 方面的一次重大尝试。这些模型通过模拟人类的思维过程，能够解决以前 AI 模型难以应对的复杂问题，为依赖高级问题解决的行业带来了新的可能性。与其前身相比，o1-preview 和 o1-mini 模型在思维方式上

最近 OpenAI 推出了新一代 o1模型，现在可以在 Cursor 上使用了。这些 o1模型在处理复杂和精细的推理任务上表现出色，令许多开发者为之兴奋。特别值得一提的是，o1-mini 模型专门为高级编程设计，成为了开发者们的新宠。最开始，Cursor 将采用基于使用量的定价模式，随着使用频率的增加，Cursor 也计划逐步调整价格结构并优化模型的使用限制。很多开发者最近纷纷将目光转向 Cursor，甚至有不少人选择在特定场景下放弃 GitHub C o p i l o t。