编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！
作者 | ZeR0 程茜编辑 | 漠影智东西12月21日报道，今日，OpenAI“连续12日圣诞发布”终于迎来激动人心的大结局，OpenAI推出重磅收官新品，其迄今最强前沿推理模型的升级版——o3。OpenAI号称o3在一些条件下接近通用人工智能（AGI）。
科技日报 12月20日，美国开放人工智能研究中心(OpenAI)介绍了其最新的人工智能(AI)推理模型——o3及其轻量版o3-mini。该公司宣称，o3具备更先进、近似人类的推理能力，在代码编写、数学竞赛和掌握人类博士级别的科学知识等方面，均超越了其“前辈”o1。
记者｜冉翀 伍洋宇 编辑｜刘方远2017年夏天，一趟从北京飞往纽约的国际航班上，张林峰正在反复比对两组几乎一模一样的数字，以确认它们真的如此接近。这两组数字都代表64个水分子在10皮秒内（10的-11次方秒，比一瞬间还短暂）模拟运动的计算结果。
每经记者：郑雨航 每经编辑：程鹏,兰素英传说中的“草莓”模型今天在没有任何预告下忽然上线了！ OpenAI最新发布的模型名为o1，是系列推理模型的首批版本，现阶段推出的是o1-preview（预览版）和o1-mini（迷你版）。
