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의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Субтитри
Препоръчани клипове
01:47
필사의 기초, 필사노트 소개, 필사 방법, 필사의 매력
05:57
We Solved the Protein Folding Problem… Now What?
02:31
연 매출 50억 의류 브랜드 대표 Q&A | 옷 자체제작 하는 법 | 원단 잘 고르는 꿀팁 | 공장 고를 때 중요한 포인트
03:29
Bitcoin Is Preparing For A Monumental Move
12:18
Michael Singer: Why We Never Truly Die
13:46
2026 거대한 전환의 시작! 인류 문명의 다음 단계 [인터뷰 풀영상]
04:52
Published! HAIMU and SCI
04:45
우리는 지금부터 '이 내용'을 이해하고 따라가야합니다 (성상현) | 인포맥스라이브 250926
06:44
Hidden Mathematical Patterns in Nature and the Universe: Spirals, Fractals, and Symmetry
02:03
The Mathematics of Creativity | Why Genius Follows a Formula
05:08
The Hidden Intelligence within Evolution, Matter & the Universe | Dr. Richard Watson
02:22
인간의 기억, 조작될 수 있을까? BCI 시대의 윤리적 딜레마 #기억조작 #뇌과학 #뇌기술 #미래기술 #BCI