Three mathematicians discuss claims of AI solving major problems

Fridman says AI has solved some of humanity’s hardest problems over weeks, pointing to Navier-Stokes, the quasi-Riemann hypothesis and the unique games conjecture. He shared a conversation with mathematicians Ankur Moitra, Steven Brunton and Alex Kontorovich about the moment, saying the pace of progress leaves him feeling both dread and optimism.