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의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
자막
추천 클립
04:48
생성형 AI에서 AGI까지ㅣ카이스트 김대식 교수ㅣ2025 글로벌 비즈니스 트렌드
03:34
Can Bitcoin Outlast the Macro Storm?
14:13
세상을 바꾼 'K-신기술' 꿈의 신소재, 불가능을 뒤집다 | 브라보 K-사이언티스트 [반복재생]/YTN 사이언스
05:53
The Future of Genetic Engineering. #sciencedocumentary
10:24
Saving Civilization: Healthcare, Tech, Democracy (w/Daniel Schmachtenberger)
06:49
The Relationship Between Human Civilization and the Biosphere: What We Need To Know
03:56
Nobel Prize in Economics 2025: Joel Mokyr, Philippe Aghion, Peter Howitt win the Grand Award
05:40
Stem Cells and Next Generation Regenerative Medicine Therapies
04:17
식초에 '이것' 한방울 섞으면 비아그라 없이 발기력 40대처럼 회복되는 비결!ㅣ교훈ㅣ노년의 삶ㅣ부부관계ㅣ오디오북 ㅣ철학
07:32
AI and the Nature of Science: Keynote presentation by Carl Bergstrom
02:42
파워포인트 몰라도 됩니다… AI가 1분 만에 완성!
07:31
Feeling the Future (Precognition, Daryl Bem, Psi Research) - Jimmy Akin's Mysterious World