Role of humans in the age of AI in mathematics | Lex Fridman
Lex Clips · 10:20 · Watch on YouTube
AI has not replaced mathematics by making proofs cheap. The visible job of proving theorems was a proxy for beauty, understanding, good questions, and ideas a community adopts, and mathematicians now have to name thos...