KLS AI-assisted proof WATCH

Human-directed search and formal verification produced a strong result, but reusable tooling and formal acceptance remain incomplete.

Next stepWait for formal acceptance and reusable search tooling.

Judgment reviewed 2026-10-23 · Basis: Researchers prove the KLS conjecture with human-directed AI search