There’s a well-known essay from the 90s where Timothy Gowers predicted that the creative/intuitive side of mathematics would be entirely taken over by machines before 2100.