AI Briefing#exponential-time-hypothesis
The latest AI and developer news about #exponential-time-hypothesis, with the original source and a short summary.
The latest AI and developer news about #exponential-time-hypothesis, with the original source and a short summary.
The algorithm, discovered by an internal research Claude model, solves #3-SAT in 2^(O(n log log n / sqrt(log n))) time and is formalized in Lean 4.