3 ms·
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 re
by emil-lp 4mo ago
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.
- rramadass 4mo agoNo. Understand first what Axiom Math does (https://www.youtube.com/watch?v=abYcV5LHMG4 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.