Terence Tao on future of AI in mathematics | Terence Tao and Lex Fridman

0:00 / 0:00
John
Koreaans
Studenten
Verhalend
Laat je video binnen enkele seconden opvallen. Pas stem, taal, stijl en doelgroep precies aan zoals jij wilt!
Samenvatting
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Ondertitels
Aanbevolen Clips
07:55
What’s Next For Human Evolution? (ft. Bret Weinstein)
07:25
Exploring Predictive Processing and the Science of Happiness with Mark Miller
06:39
END OF THE WORLD Explained — And It’s Totally Unexpected
08:22
The Rise and Fall of the Neo-Liberal Order | LSE Event
07:35
Mo Gawdat on AI: The Future of AI and How It Will Shape Our World
06:03
CEO of Microsoft AI speaks about the future of artificial intelligence at Aspen Ideas Festival
04:17
How Evolution Works (And How We Figured It Out)
06:06
Mathematics is the queen of Sciences
08:07
만약 인류가 원래 지녔던 능력의 90%를 잃었다면? | 아눈나키가 제거한 것들 | 히스토리 포 슬립
06:06
Shaping Model Behavior in GPT-5.1— the OpenAI Podcast Ep. 11
06:05
There are no "Christian Children"! (God Delusion UC Berkeley Lecture) | Science vs Religion
05:53
The Future of Genetic Engineering. #sciencedocumentary