|
|
|
|
|
|
by emil-lp
5 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. |
|
|
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.