anthropics/formal-math

6 best points · 4 comments · 1 Hacker News post · 464 GitHub stars · View on GitHub

Hacker News discussions

• A 2^o(n) time algorithm for 3-SAT (6 points, 4 comments, by nryoo, 2026-10-27)