Not to mention accuracy. His "age of AI" seems to be no more than "the arrival of artificial intelligence tools that are capable of performing research-level mathematical tasks"