标签
一个AI智能体声称在外部图论领域取得突破性新成果，构造出围长为(8/5)log n的正则图，这是38年来首次改进，并向理论最大值迈出一大步。
Google Quantum AI在其Willow量子处理器上首次演示了"魔法态培育"（magic state cultivation）技术，相比此前方法实现了40倍的错误率降低，并达到了99.99%的前沿逻辑保真度，标志着在实现实用化量子计算方面取得了重大进展。
OpenAI的GPT-6 Astra在未公开的理论物理研究问题上自主解决了50题中的49题，准确率达98%，每题成本低于3美元，甚至发现了世界顶级物理学家计算中的错误。
继其大语言模型解决二十年来最大数学突破之后，OpenAI 宣布其新内部模型已再产出 372 项成果，每项都解决或大幅推进了数学或理论计算机科学中的重大公开问题，且不再需要数百万美元的成本。
Voltropy发布了一份关于10M上下文窗口模型的技术报告，可能彻底改变人工智能处理超长文本的能力。
一位OpenAI研究人员对最近的AI进展表示惊讶，称过去三个月工作强度巨大，能力有了显著飞跃。
作者主张 Opus 5.5 是第一个在个人层面通过图灵测试的AI模型，标志着向AGI迈出重大突破。
Yohei Nakajima 分享了 Bad Theory Labs 的一项突破，他们改进了 LLM 的推理能力，克服了线性思维，使其更具适应性。
一个名为GPT 6 Astra的LLM代理在NetHack游戏中实现了飞升，标志着首次有LLM通过自主构建工具击败这款复杂游戏的记录实例。
据报道，OpenAI训练了一个新的AI模型，该模型已解决了超过100个长期存在的开放数学问题，导致成立了一个咨询小组来评估和协调这些结果的发布。
本文探讨了OpenAI宣称在一个月内解决100个长期存在的数学问题，以及这对通用人工智能（AGI）加速时间线的影响。
OpenAI仅用24天训练了一个模型，该模型解决了超过100个长期存在的数学未解难题，表明AI驱动的数学研究取得了重大进展。
FrontierMath成功解决了其首个“Major Advance”问题，标志着数学研究与AI合作领域的重要里程碑。
本文推测，OpenAI的内部模型'Bel'可能是一种突破性的人工智能，能够解决诸如千禧年大奖问题等主要数学难题，有望彻底改变机器辅助发现，并成为有史以来需求最高的模型。
OpenAI宣布使用Lean 4为Navier-Stokes方程提供了形式化证明，将形式化验证的成本从数万小时减少到仅17小时，突显了人工智能在数学和验证中的变革性作用。
OpenAI在周三晚上的声明中宣布，在完成Navier-Stokes问题后，他们在另一个Millennium Prize problem上取得了重大进展，并计划以负责任的方式分享这些成果。
OpenAI宣布，他们的AI代理使用下一代模型解决了Navier-Stokes千禧年大奖问题，同时祝贺独立研究者Levent Alpöge和Tristan Buckmaster在数学工作上的成就。