人工智能在数学领域再次取得引人瞩目的进展。近期的一系列突破显示，由20世纪传奇数学家保罗·埃尔德什提出的多个经典数学难题，正在被AI工具以前所未有的方式破解。这些成果的核心在于，AI系统运用了此前在应对此类...

大语言模型（LLM）的自我改进一直是人工智能领域的核心挑战，而基于可验证奖励的强化学习（RLVR）在过去主要局限于数学、代码等存在明确对错判定的封闭式任务。来自COLM 2026的最新研究RLSVR突破了这一限制，提出通...

OpenAI日前披露的未公开模型Astra一口气解决了数学界十个长期悬而未决的开放问题，再次刷新了人们对AI在高级推理领域潜力的认知。长期以来，数学一直是大型语言模型的软肋，人们习惯嘲笑AI连基础运算都频繁出错。然...

OpenAI 近期在一项技术评估中，披露了一个尚未正式发布的模型在探索过程中取得的十项研究成果。这些成果并非简单的小修小补，而是直面多年来悬而未决的开放性问题，逐一给出了实质性解答或显著推进。涉及领域极为前...

在人工智能深度介入前沿科学研究的浪潮中，一场关于优先权的微妙竞赛悄然上演。据《科学美国人》报道，来自麻省理工学院的一名博士生与加州大学系统的两位密码学家，几乎在同一时间将顶级大模型GPT-5.6 Sol Ultra应...

上周刚获得数学界最高荣誉菲尔兹奖的加拿大数学家Jacob Tsimerman，已从多伦多大学申请长期休假，转而加入OpenAI，专注于人工智能安全研究。这一动向不仅展现了基础科学前沿与AI产业的深度交融，也再次印证了AI安全...

OpenAI 最新披露，尽管其前沿模型 GPT-5.6 在数学领域解决了多个长期悬而未决的问题，并成功打通《宝可梦 火红》等复杂游戏，但在 ARC-AGI-3 基准测试中原始得分仅有 7.8%。这一巨大反差揭示了一个关键问题：基准测...

OpenAI 最新推出的 GPT-5.6 在 Codex 开发环境中首次引入了一套精细化的多模型任务分配机制，将工作负载自动分流至 Sol、Terra 和 Luna 三个特性鲜明的执行单元。其中，Sol 专门应对目标模糊但价值极高的复杂问题，...