OpenAI的一个推理模型成功推翻了离散几何学中的核心猜想——“平面单位距离问题”（Planar Unit Distance Problem）。该猜想最早由20世纪著名数学家保罗·埃尔德什于1946年提出，在长达80年的时间里一直未被攻克，是离散...

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

近日，GitHub上开源了一个名为TriAttention的项目，其核心是一种创新的KV（键值）缓存压缩技术。该技术旨在解决大语言模型在处理长上下文任务时，因KV缓存占用内存巨大而难以在消费级或内存受限的GPU上高效部署的行...

人工智能研究机构Epoch近日发布报告，确认其最新模型GPT-5.4 Pro成功解决了一个长期悬而未决的前沿数学开放问题——超图上的拉姆齐风格问题。该问题属于组合数学的核心领域，要求构造尽可能大的超图，使其不具备某个易...

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

微软近日发布了Phi-4-reasoning-vision-15B，这是一款开源的、权重开放的多模态视觉AI模型。该模型仅包含150亿参数，却在数学、科学、文档及用户界面（UI）推理任务上，达到了与参数量大数倍的模型相当甚至更优的性...

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

近日，一项由OpenAI发布的研究引发了科学界与人工智能领域的广泛关注。根据一份新的预印本论文显示，其最新的大型语言模型GPT-5.2在理论物理学领域取得了一项原创性成果：它独立地提出了一个关于胶子散射振幅的新公...