You don't think this is relevant to his perspective?
> In 2025 he left academia to become "Founding Mathematician" of Axiom Math in Palo Alto, California to research the application of artificial intelligence to fundamental mathematics.
You don't think this is relevant to his perspective?
> In 2025 he left academia to become "Founding Mathematician" of Axiom Math in Palo Alto, California to research the application of artificial intelligence to fundamental mathematics.
No.
Understand first what Axiom Math does (https://www.youtube.com/watch?v=abYcV5LHMG4). It is only after he realized the possibilities of AI that he started Axiom Math with a student he mentored.