Scott Aaronson

AI Systems Solve Multiple Longstanding Mathematical Problems, Raising Questions About Future of Human Mathematics