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의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
उपशीर्षक
अनुशंसित क्लिप्स
07:26
수메르 점토판이 묘사한 행성 규모의 감옥: 인간은 누구를 섬기도록 만들어졌을까? | 잠들기 위한 역사 이야기
11:59
The Intelligence That Built the Forest
08:08
Everything You Need to Know About Logic - Joe Folley
11:02
7/14 nomadk 앵콜특강
04:17
How Evolution Works (And How We Figured It Out)
09:55
Une MÉGA-VILLE de 40 000 ans découverte au Pérou — les humains N'ÉTAIENT PAS prêts pour ça !
06:34
AI Valley: How Big Tech, Ethics & Journalism Collide in the Age of AI | Gary Rivlin | Glasp Talk #53
06:32
2026년 병오년 예언, 400년 전 예언된 대한민국을 구할.. 세계가 지목한 구원자! 사명대사의 격암유록
03:45
[사사건건] 챗GPT 좋은데, 그냥 쓰면 되잖아? '소버린 AI 개발하자는 이유 / "경제 안보·기술 주권 차원에서 반드시 해야 할 일" - KBS 2025.06.25.
07:35
ChatGPT Atlas and the next era of web browsing — the OpenAI Podcast Ep. 9
05:24
How AI Is Accelerating Scientific Discovery Today and What's Ahead — the OpenAI Podcast Ep. 10
07:12
매일 젊어지는 세포를 만드는 비밀 '이것'만 기억하세요