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

2、该工作的核心思路基于一项假设展开。即，通过在测试时（test-time）投入额外的计算资源，LLM 在理论上应该能做到比训练时更好的表现，且这种测试时获得的能力应当还有潜力在智能体和推理任务中带来新的研究方向。

最终，o1-mini 帮助 AryanDLuffy 获得了 3922 分的总成绩，在超过 16 万参赛者中排名 277，也就是排名在前 0.17%。 这远远超过了 OpenAI 自己做的基准测试结果。o1 模型在他们的模拟 Codeforces 比赛中还只是超过了 89% 的人类选手。

在 OpenAI 此次发布之前，曾有不少媒体爆料，新模型因为内部推理链条较长，对于推理的算力成本的需求进一步增高，OpenAI 很有可能将提高使用模型的费用，甚至最离谱的猜测数字达到每月 2000 美金。

直到斯坦福大学 2022 年提出一种「自学推理」（Self-Taught Reasoner，STaR）方法：先给模型一些例题详细解法，再让模型学着去解更多的题，如果做对就把方法再补充到例题里，形成数据集，对原模型微调，让模型学会这些方法，这也是一种经典的自动生成数据的 ...

在人工智能快速发展的浪潮中，OpenAI宣布了其最新的大语言模型——OpenAIo1-preview，这一令人期待的模型在推理能力上将AI系统带到了全新的高度。对于希望在AI领域有所突破的开发者和用户来说，此次发布不仅是技术上的迈进，也预示着人工智能应用的发展前景。本文将深入探讨OpenAIo1-preview的核心功能、使用案例及其未来趋势。

财中社9月16日电 为了在竞争激烈的市场中保持领先地位，OpenAI推出了内部代号为“草莓”的新人工智能模型，该模型可以执行一些类似人类的推理任务。 该公司9月12日周四在一篇博客文章中表示，这个名为o1的新模型在回复用户询问之前会“花更多时间思考”。有了这个模型，OpenAI的工具应该能够解决多步骤问题，包括复杂的数学和编程问题。

I’m now moving to Beijing to pursue a graduate degree at the Beijing University of Posts and Telecommunications. Although it ...