“Mathematician Terence Tao has reported that AIs are now solving previously unsolved Erdos problems.”