| ▲ | emil-lp 7 days 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 6 days ago | parent [-] | |
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. | ||