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

0:00 / 0:00
John
Korejski
Studenti
Pripovijedanje
Istaknite svoj video u nekoliko sekundi. Prilagodite glas, jezik, stil i publiku točno onako kako želite!
Sažetak
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Titlovi
Preporučeni isječci
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?