此系列目前已经推出o1-preview和o1-mini两款产品，现已在ChatGPT中面向plus用户、Team用户推出，Enterprise和Edu用户将从下周开始可以使用，API也面向5级用户推出。 能力上， OpenAI ...

陶哲轩表示，虽然这篇MathOverflow上的帖子可能已经包含在o1的训练数据中了，但依旧能展现模型在语义搜索方面的强大功能，而且搜集、总结出的答案的质量可以与MathOverflow这类专业的问答网站相当。

十几个小时之前，加州大学欧文分校（UCI）的物理学博士Kyle Kabasares，实测chatGPT o1 preview+mini后发现：自己干了大约1年的博士代码，o1竟在1小时内完成了。

北京时间 9 月 13 日午夜，OpenAI 正式公开一系列全新 AI 大模型，旨在专门解决难题。这是一个重大突破，新模型可以实现复杂推理，一个通用模型解决比此前的科学、代码和数学模型能做到的更难的问题。

OpenAI ...

人工智能新创公司OpenAI推出能够解决复杂推理的新版ChatGPT，定名OpenAI o1。这款新模型能以人类思考方式回答问题，专门应付需要逻辑推理的任务，像是数学和科学。 OpenAI指出，OpenAI ...

智东西（公众号：zhidxcom）作者 | 香草编辑 | 李水青智东西9月13日报道，今日凌晨，OpenAI突然发布传说中“草莓”模型的部分预览版——OpenAI ...

这是一系列全新的推理模型，旨在帮助解决复杂问题。这些模型经过特别训练，可以在作出回应之前，花更多时间进行思考，能够在科学、编码和数学等领域解决比以往更具挑战性的问题， OpenAI o1将先在 ChatGPT 和 API 上推出。

但如果给以前的模型加点助力，比如计算机代数包和证明辅助工具啥的，改进一两次，就能实现进一步迭代，摇身一变，成为“有能力的研究生”。 有网友愤愤：GPT 是什么 **！我承认 LLMs 对写代码有很大帮助，但事实上有一些非常好的工具可以帮助解决这一问题 ...

o1系列模型旨在处理复杂的推理任务，有望改变组织和学术机构应对从高级编码到科学研究等最困难挑战的方式。通过模仿人类的思维过程， o1系列模型可以解决早期人工智能迭代所难以解决的复杂问题，为依赖于高级问题解决的行业提供了新的可能性。

亲，也许你可以展开说说“研究生”这块不？我理解一下子， 你的意思是o1之前大模型放在Lean微调，再结合计算机代数包，那输出效果就可以媲美研究生水平？ 简单点来说，这种情况下的大模型能够解决一些新发现的重要课题？

博客概述：这篇博客介绍了 CriticGPT——OpenAI 基于 GPT-4 训练的一个专门给 ChatGPT 挑毛病的新模型。它通过精准地分析 ChatGPT ...