Microsoft researchers say AI agents helped resolve the 31-year-old KLS conjecture
The proof was posted to arXiv on 1 October and completed on 4 October; Microsoft's post says agents explored over 100 approaches but does not name the systems.
MicrosoftIdeas & essays · Models & capabilities