Toby Ord published an essay arguing that artificial intelligence systems automate mathematical proofs without demonstrating the ability to pose powerful questions or create new fields of mathematical inquiry