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

0:00 / 0:00
John
Koreansk
Studenter
Historiefortelling
Få videoen din til å skille seg ut på sekunder. Juster stemme, språk, stil og målgruppe akkurat slik du ønsker!
Sammendrag
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Undertekster
Anbefalte klipp
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