跳到正文
热点事件持续更新

Deedy补充OpenAI与Claude的3-SAT文档

2 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

Deedy在“ETH被推翻”的帖子下补充了OpenAI与Claude两份3-SAT算法文档链接,成为该说法的新增依据,但目前没有官方确认。 据其所链接文档,OpenAI版讨论了对k-SAT的精确计数,Claude版提出运行时间为2^(o(n))的3-SAT算法;相关说法认为两者分别给出了次指数算法,意味着ETH可能被推翻,这一影响尚未获得独立证实。

AI 根据报道生成 · 2 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月27日
  1. AGI Hunt
    Deedy 补充 OpenAI 与 Claude 的 3-SAT 算法文档链接

    Deedy 补充了 OpenAI 与 Claude 两份 3-SAT 算法文档链接,涉及 OpenAI 版对 k-SAT 的精确计数,以及 Claude 版给出的 3-SAT 2^(o(n)) 时间算法。该说法称相关模型各自独立给出次指数算法、ETH 或被推翻,但目前仍无官方确认。

  2. AGI Hunt
    OpenAI 与 Claude 模型被曝分别给出 3-SAT 次指数算法,ETH 面临挑战

    Deedy 称 OpenAI 和 Anthropic 的模型于 10 月 16 日各自独立给出了 3-SAT 的 2^(n/√log n) 界算法。两份文档分别主张突破 ETH 和解决 #3-SAT 计数问题,但相关结果强调不等于 P=NP,当前也未见官方确认。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。