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의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
زیرنویس‌ها
کلیپ‌های پیشنهادی
08:08
Everything You Need to Know About Logic - Joe Folley
03:08
[TED 명강의] 리더는 태어나는게 아니라, 틀을 깨며 만들어 진다.
03:33
Why Did Consciousness Evolve? Exciting Research on Bird Brains
03:40
How to Improve Your Critical Thinking Skills
07:55
Embryology of AI: How Training Data Shapes AI Development w/ Timaeus' Jesse Hoogland & Daniel Murfet
05:57
Quantum Consciousness — Does Consciousness Collapse Reality? | The Quantum Slumber
07:23
인간 수명 2배로? 1mm 벌레에 달려 있다 (서울대학교 생명과학부 이준호 교수)
07:07
국제질서는 어떻게 변화하는가?│존 미어샤이머(시카고대), 로빈 니블렛(채텀하우스)
02:42
파워포인트 몰라도 됩니다… AI가 1분 만에 완성!
06:55
비밀 데이터베이스에서 유전학자가 발견한 진실: 전 세계 인구 7%는 네피림 DNA를 지녔다 (2026)
04:55
25 Wonders You Won’t Believe Exist | Unreal Places on Earth
07:31
Feeling the Future (Precognition, Daryl Bem, Psi Research) - Jimmy Akin's Mysterious World