Anthropic公司研发的AI模型Claude在一个尚未正式发布的版本中，于黎曼猜想相关的核心问题上取得了令人瞩目的进展。黎曼猜想作为数学界最负盛名的未解难题之一，其核心在于黎曼zeta函数非平凡零点的分布规律，与素数...

OpenAI近日宣布对ChatGPT进行重要更新，核心围绕GPT-5.6 Sol与GPT-5.6 Luna两大模型展开。此次升级显著提升了GPT-5.6 Sol的响应准确性和一致性，使其在事实核查、逻辑推理和专业内容生成等任务上表现更为可靠，背后...

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

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

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

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

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

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