Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

What changed

Researchers resolved the 31-year-old KLS conjecture using a human-directed agentic AI research process.

Why you should care

Demonstrates that human-directed AI agents can help solve long-standing complex mathematical challenges.

Your move

Watch. Monitor how agentic workflows integrate into complex research tasks.

Evidence

ConfirmedMicrosoft Research ↗

What to watch next

Subsequent peer-reviewed publications detailing the exact formal verification steps and broader adoption of the agentic research framework.

Event

breakthrough

Event date

Oct 21, 2026

Relevant to

General AI readers