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의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Υπότιτλοι
Προτεινόμενα Κλιπ
09:27
Denis Noble: "Neo-Darwinism Is Dead" | We Need A Biology Beyond Genes
09:56
Why Bacteria Are Essential to Life on Earth
07:42
Biosemiotics: A New Way To Understand Non-Human Consciousness | Dr. Yogi Hendlin
03:45
[사사건건] 챗GPT 좋은데, 그냥 쓰면 되잖아? '소버린 AI 개발하자는 이유 / "경제 안보·기술 주권 차원에서 반드시 해야 할 일" - KBS 2025.06.25.
02:24
GPT-5: The AI That Will End The World As We Know It
06:44
Hidden Mathematical Patterns in Nature and the Universe: Spirals, Fractals, and Symmetry
06:06
Stem Cell Pathways Targeting Neurodegenerative Diseases
02:22
인간의 기억, 조작될 수 있을까? BCI 시대의 윤리적 딜레마 #기억조작 #뇌과학 #뇌기술 #미래기술 #BCI
06:48
AI and biodiversity | DW Documentary
04:23
The Core Equation Of Neuroscience
04:49
Building AI People Can Actually Trust
08:04
인간 유전자 이식한 노예 세균이 인류를 구했습니다 (연세대학교 약학대학 김성훈 교수)