When Computers Write Proofs, What's the Point of Mathematicians?

When Computers Write Proofs, What's the Point of Mathematicians?

|
A Carregar...
SSS TikTok Downloader

Vídeo Seguinte

The moment Andrew Wiles proved Fermat's Last Theorem | Lex Fridman
The moment Andrew Wiles proved Fermat's Last Theorem | Lex Fridman
|

Vídeos Relacionados

The moment Andrew Wiles proved Fermat's Last Theorem | Lex Fridman

The moment Andrew Wiles proved Fermat's Last Theorem | Lex Fridman
The world's best mathematicians already overtaken by AI

The world's best mathematicians already overtaken by AI
It’s Happening: AI Eats Physics

It’s Happening: AI Eats Physics
The Cartographer's Job: What Mathematicians Do When Machines Write the Proofs

The Cartographer's Job: What Mathematicians Do When Machines Write the Proofs
Is math invented or discovered? - mathematicians explain | Lex Fridman

Is math invented or discovered? - mathematicians explain | Lex Fridman
What Grigori Perelman thinks about AI solving mathematics | Lex Fridman

What Grigori Perelman thinks about AI solving mathematics | Lex Fridman