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

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

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

在人工智能顶级会议ICLR 2026上，一篇题为《Transformer are inherently succinct》的论文被评选为三篇杰出论文之一。该研究从理论层面深入论证了Transformer架构在本质上具有简洁性（succinctness），即模型能够在...

谷歌DeepMind团队推出新系统AlphaProof Nexus，在未依赖公开发表或训练集中可见的标准解法的情况下，自主解决了353个公开埃尔德什（Erdős）问题中的9道，其中有两道难题甚至困扰了数学界56年之久。值得一提的是，每...

谷歌DeepMind团队近日发布了其最新成果AlphaEvolve，这是一个由Gemini大模型驱动的自主编码代理。与普通的代码助手不同，AlphaEvolve的核心能力在于设计并生成高级算法，而不仅仅是补全或改写现有代码。它已经能够在...

硅谷初创公司Axiom在成立仅一年、团队约20人规模之际，成功完成了由Menlo Ventures领投的2亿美元A轮融资，估值高达16亿美元。该公司致力于开发名为“Verified AI”的系统，其核心创新在于利用形式化验证技术，确保AI生...

OpenAI近日详细公布了其AI模型在全部十道“First Proof”数学研究问题上的端到端证明尝试。First Proof是一项特定领域挑战，旨在测试AI系统能否生成完全可验证的数学论证。OpenAI的博客文章概述了该领域专家对模型提交...