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

0:00 / 0:00
John
Coreano
Estudiantes Universitarios
Narrativo
Haz que tu video destaque en segundos. Ajusta la voz, el idioma, el estilo y el público exactamente como desees.
Resumen
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Subtítulos
Clips recomendados
02:23
Turn Your Ideas into Animated Videos with Canva FREE (Step-by-Step Tutorial)
01:06
이 맛에 택시기사 하지 ㅋㅋ
06:38
그리스도의 재림에 대한 에티오피아 성경의 숨겨진 경고가 마침내 드러났다
05:08
A.rtificial I.mmortality - Digital Immortality: Are We About to Live Forever?
07:31
외계 금속으로 만들어진 유물, 경주에서 발굴 — 정부가 48시간 만에 압수한 이유
04:30
The Science in the Art of Teaching. Schools of the Future Conference, Tracey Tokuhama-Espinosa, Ph.D
06:39
END OF THE WORLD Explained — And It’s Totally Unexpected
07:38
Biosemiotics: A New Way To Understand Non-Human Consciousness | Dr. Yogi Hendlin
07:00
20 Anti Aging Plants That Reverse Aging Instantly
08:43
Moving Beyond Polarization in Service of Life | Reality Roundtable 10
07:45
You're Not Smarter Than a Caveman - How Did We Get So Clever? - David Deutsch
07:42
Terence Tao on future of AI in mathematics | Terence Tao and Lex Fridman