内容摘要报道称Claude与OpenAI同日找到针对指数时间假说的亚指数时间算法,但仍待学界核查。
正文
Claude独立攻破27年指数时间假说(ETH),竟与OpenAI同天发现
动察 Beating AI 快讯,OpenAI 昨天刚宣布 AI 推翻了 1999 年提出的指数时间假说(ETH),今天 Anthropic 也公开了 Claude 的独立研究成果。两家公司披露的发现日期竟然是同一天:10 月 16 日。
ETH 认为,有些计算问题极其困难,无论算法怎么优化,遇到最难的题目时,计算时间仍会随着问题规模扩大而指数级暴涨。两家模型分别找到了突破这条限制的亚指数时间算法,甚至能精确算出 3-SAT 问题有多少种符合条件的答案,而不只是判断有没有解。
Anthropic 披露,Claude 在没有人类中途输入的情况下,独立找到了核心算法,整个研究过程输出了约 1400 万 Token。随后,Anthropic 研究人员才与 Claude 合作整理和完善论文。
双方目前都已公开论文和 Lean 形式化证明,等待学界进一步核查。
原文链接:https://m.theblockbeats.info/flash/373904
AI 辅助解读
以下为辅助分析,与已报道事实分开展示;重要信息请进一步核实。
ETH描述一类计算难题:问题规模增大时,最困难情形所需时间会指数级增长。报道所称突破,是用亚指数时间算法处理相关问题,并进一步计算3-SAT符合条件的答案数量。不过,这些结论目前仍在等待学界核查。
对读者的影响
如果相关算法、论文和形式化证明通过核查,这些成果会受到复杂推理与AI参与科研领域的关注;目前不能把报道中的“攻破”视为已经得到独立确认。
新手应重点区分“公司披露的研究成果”和“已经由学界验证的结论”,并关注后续对算法、论文及证明的核查。
风险与未知
- 报道明确称论文和Lean形式化证明仍待学界进一步核查。
- 证据未提供论文与形式化证明的具体内容,无法据此确认算法正确性。
- 证据未提供独立复现或学界评议结果。
- 除Anthropic关于无人类中途输入的披露外,证据未提供更多材料核实Claude研究过程中的人类介入范围。