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

0:00 / 0:00
John
韓国語
大学生
ストーリーテリング
数秒でビデオを際立たせましょう。声、言語、スタイル、対象視聴者を思い通りに調整できます!
概要
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
字幕
おすすめクリップ
03:37
Why Democracy Is Mathematically Impossible
09:38
Michael Singer: Why We Never Truly Die
02:42
파워포인트 몰라도 됩니다… AI가 1분 만에 완성!
08:32
The Future of the World (2030 to 10,000 A.D.+): 130 Future Technologies
02:18
AI & Education: Generative AI & the Future of Critical Thinking
06:15
QUANTUM BIOLOGY: How Your Cells Use "Spooky Action" to Create Reality
07:14
The MOST Important Idea in Math, Science & Engineering
11:09
최초 문명들의 금지된 지식: 우리가 결코 알도록 허락되지 않았던 비밀들 | 수면을 위한 역사
07:19
You Are at the Greatest Breaking Point of Your Life — and Harari Explains Why This Is Necessary
07:48
Pure consciousness with Thomas Metzinger and Andrea Hiott, Happy New Year ❣️
08:01
Embryology of AI: How Training Data Shapes AI Development w/ Timaeus' Jesse Hoogland & Daniel Murfet
08:11
AI Valley: How Big Tech, Ethics & Journalism Collide in the Age of AI | Gary Rivlin | Glasp Talk #53