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

0:00 / 0:00
John
Korea
Üliõpilased
Jutustamine
Muuda oma video silmapaistvaks sekunditega. Kohanda häält, keelt, stiili ja sihtrühma täpselt nii, nagu soovid!
Kokkuvõte
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Subtiitrid
Soovitatud klipid
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