why do people believe stuff like this? this is obviously untrue -- AI is already solving open problems in mathematics.