Anthropic'in bir makalesi, kurum içi Claude modelinin de Üstel Zaman Hipotezi'ni çürüttüğünü öne sürüyor

hexagonmath.org'da yayımlanan ve 27 Ekim 2026'da Anthropic tarafından gönderildiği belirtilen bir ön baskı, n değişkenli 3-SAT için 2^o(n) zamanda çalışan deterministik bir algoritma öne sürüyor; bu, Üstel Zaman Hipotezi'ni (ETH) çürütebilir. Makaleye göre algoritma, tatmin edici atamaları sayan daha zor #3-SAT problemini de çözüyor ve sonuç Lean 4'te formelleştirilmiş.

Makalenin kaynak beyanına göre, kurum içi bir Claude araştırma modeli temel algoritmayı 16 Ekim'de, insan katkısı olmadan ve 14 milyon çıktı belirteci kullanarak buldu; Anthropic araştırmacıları daha sonra sunumu iyileştirmek için Claude ile çalıştı. Makale ayrıca OpenAI'deki kurum içi bir modelin de benzer bir sonucu bağımsız olarak ve eş zamanlı biçimde kanıtladığını öne sürdüğünü belirtiyor; OpenAI'nin 26 Ekim tarihli kendi ön baskısına atıfta bulunuyor. Bunların tümü yazarların iddiaları ve bağımsız olarak doğrulanmış değil.

Makale Hacker News'te paylaşıldı (27 Ekim itibarıyla 22 puan, 6 yorum); yorumculardan biri, iddia edilen keşif tarihinin OpenAI'ninkiyle aynı olduğuna dikkat çekti.