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

0:00 / 0:00
John
Koreański
Studenci
Opowiadanie historii
Spraw, aby Twój film wyróżniał się w kilka sekund. Dostosuj głos, język, styl i odbiorców dokładnie tak, jak chcesz!
Podsumowanie
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Napisy
Polecane klipy
06:25
Webinar Hair Removal with Hamish Mcnair
11:16
Brain Scientist: God, Consciousness & What Happens When We Die | John Vervaeke
05:46
At 92 He is Testing a Mitochondrial Transplant That Could Rewrite Aging | Dr John Cramer
06:05
Could AI models be conscious?
09:53
The Crisis Of Meaning Has An Antidote | Rutger Bregman
07:14
The Mystery Of Jesus' Lost Years: Revealed In A 2,000 Year Old Iranian Bible
08:48
Once You Master Quantum Entanglement, The Universe SERVES You
08:32
에티오피아 성경에는 예수의 인류를 향한 마지막 경고가 보존되어 있다 — 그러나 현대 성경에는 없다
05:36
How AI is Changing Science
05:53
Preparing for an AI Economy (with Daniel Susskind)
04:57
귀멸의 칼날 무한성 구조를 건축가가 본다면
07:00
20 Anti Aging Plants That Reverse Aging Instantly