header-langage
简体中文
繁體中文
English
Tiếng Việt
한국어
日本語
ภาษาไทย
Türkçe
扫码下载APP
Partnered With:

Claude独立攻破27年指数时间假说(ETH),竟与OpenAI同天发现

动察 Beating AI 快讯,OpenAI 刚宣布 AI 推翻了 1999 年提出的指数时间假说(ETH),Anthropic 也公开了 Claude 的独立研究成果。两家公司披露的发现日期竟然是同一天:10 月 16 日。

ETH 认为,有些计算问题极其困难,无论算法怎么优化,遇到最难的题目时,计算时间仍会随着问题规模扩大而指数级暴涨。两家模型分别找到了突破这条限制的亚指数时间算法,甚至能精确算出 3-SAT 问题有多少种符合条件的答案,而不只是判断有没有解。

Anthropic 披露,Claude 在没有人类中途输入的情况下,独立找到了核心算法,整个研究过程输出了约 1400 万 Token。随后,Anthropic 研究人员才与 Claude 合作整理和完善论文。

双方目前都已公开论文和 Lean 形式化证明,等待学界进一步核查。

AI 解读
Claude与OpenAI模型同在10月16日找到突破指数时间假说(ETH)的亚指数算法,把“AI做基础科学”的竞争推进到优先权与署名层。ETH自1999年提出,核心是难问题是否必然指数级耗时;两家不仅判定SAT可解,还能精确计数3-SAT解,并公开论文与Lean形式化证明待核查。Anthropic称Claude无人类中途输入独立找到核心算法,过程输出约1400万Token,研究人员随后参与整理。

同日发现的时间戳更值得注意。独立发现难回避谁先发布、谁进入作者序列;9月已有数学家指控OpenAI抢发成果并要求删除Anthropic员工署名,AI科研的优先权、复现与形式化验证被推到台前。Anthropic此前呼吁暂停前沿AI开发,如今展示模型自主研究能力,治理话术与能力展示并行。
展开
举报 纠错/举报
纠错/举报
提交
新增文库
仅自己可见
公开
保存
选择文库
新增文库
取消
完成