Evidence Passport
KLS conjecture resolved with human-directed AI
Top story 1 in the issue of 22 October 2026, in 30 AI Research & Innovation.
Original source
KLS conjecture resolved with human-directed AI
Researchers say AI explored possible proofs while mathematicians pruned and steered the search; independent experts reviewed the result and it was machine-verified.
Evidence
Evidence: Independent validation (evidence step 6 of 6)
Confirmed by a separate team or an external test: the strongest step.
Bottleneck: Proving efficiency limits of high-dimensional sampling Solved
The story in three lines
- Key finding
- The 1995 KLS conjecture on high-dimensional sampling was proved with AI help, independently checked and formally verified.
- Significance
- Technical: a long-open problem in algorithms settled by human-directed AI, with formal verification.
- Takeaway
- Strong evidence of AI as a research partner in maths; the people still chose and judged the route.
Later coverage in the journal
No later coverage in the journal yet.
Corrections and updates
No corrections or updates recorded for this item.
This page is generated from the issue and stays at the same address. It adds nothing that is not in the issue, the source link or the corrections log.