---
format: "aidr-story-markdown/v1"
id: "69e4cab0a49eb8fe129a84339124519dd03e404a177f6e50f7af6207ba2dbbac"
canonical_url: "https://aidr.today/69e4cab0?lang=vi"
title: "Chứng minh bác bỏ ETH của Anthropic"
lang: "vi"
requested_lang: "vi"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-27T05:58:59.000Z"
category: "Research"
topics: ["anthropic","llm"]
source_urls: ["https://hexagonmath.org/2610.00577v1","https://news.ycombinator.com/item?id=50255159"]
summary: "Chúng tôi bác bỏ Exponential Time Hypothesis (ETH) bằng cách trình bày một thuật toán định lượng cho 3-SAT trên n biến chạy trong thời gian $2^{o(n)}$. Thuật toán của chúng tôi thực sự giải quyết bài toán khó hơn là #3-SAT, cung cấp số lượng các phép gán thỏa mãn. Kết quả này được khám phá bởi một mô hình nghiên cứu nội bộ Claude và đã được chứng minh hóa trong Lean 4."
---

# Chứng minh bác bỏ ETH của Anthropic

> [Open the canonical story](<https://aidr.today/69e4cab0?lang=vi>)

**Published:** 2026-10-27T05:58:59.000Z
**Category:** Research
**Topics:** anthropic, llm

## Summary

Chúng tôi bác bỏ Exponential Time Hypothesis \(ETH\) bằng cách trình bày một thuật toán định lượng cho 3\-SAT trên n biến chạy trong thời gian $2^\{o\(n\)\}$\. Thuật toán của chúng tôi thực sự giải quyết bài toán khó hơn là \#3\-SAT, cung cấp số lượng các phép gán thỏa mãn\. Kết quả này được khám phá bởi một mô hình nghiên cứu nội bộ Claude và đã được chứng minh hóa trong Lean 4\.

## Sources

- [Story source](<https://hexagonmath.org/2610.00577v1>)
- [Discussion](<https://news.ycombinator.com/item?id=50255159>)