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

0:00 / 0:00
John
korea
Yliopisto-opiskelijat
Tarinnankerronta
Tee videostasi erottuva sekunneissa. Säädä ääntä, kieltä, tyyliä ja kohdeyleisöä juuri haluamallasi tavalla!
Yhteenveto
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Tekstitykset
Suositellut leikkeet
08:21
The First Language Wasn't Words | How Cells Learned to Talk
05:58
Open Forum: Understanding Quantum Reality | World Economic Forum 2026
04:49
Building AI People Can Actually Trust
02:41
운명이 아니라 에너지입니다: 시간과 논리를 넘어 두 영혼을 끌어당기는 힘이 존재하며, 그 무엇도 이들을 갈라놓을 수 없습니다 | 조 디스펜자의 과학이 그 이유를 밝힙니다
07:38
Could the Universe Be Conscious?
04:15
PEPE HOLDERS 🔥 THIS IS BIG !!!🤯🔥 PEPE PRICE PREDICTION!!!
04:40
How Akool Uses Gen AI to Make Live AI Avatars & Voices
06:18
"곧 5년 안에 AI 특이점 온다" 더이상 인간에게 남은 시간은 없습니다 (박태웅 의장 / 풀버전)
06:38
단백질 만드는 AI, 전세계 제약산업 뒤집어졌습니다 (서울대 화학부 석차옥 교수)
03:22
[Review Phim] Siêu Thảm Họa Tấn Công Trái Đất Do Chính Con Người Gây Ra
06:40
Interpretability: Understanding how AI models think
09:43
Can Trees Talk, Think and Heal?