Timothy Gowers

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