Anthropic披露Claude独立发现指数时间假说突破,待学界核查
Anthropic披露Claude在无人类中途输入下独立找到指数时间假说相关亚指数时间算法,并称与OpenAI在同一天发现。双方已公开论文和Lean证明,等待学界核查。
把分散的消息,连成可以理解的脉络。
Anthropic披露Claude在无人类中途输入下独立找到指数时间假说相关亚指数时间算法,并称与OpenAI在同一天发现。双方已公开论文和Lean证明,等待学界核查。
报道称,OpenAI模型据称发现可在亚指数时间内精确统计k-SAT解数量的确定性算法,并经Lean形式化验证。此处ETH指指数时间假设,并非以太坊。