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

0:00 / 0:00
John
Korėjiečių
Studentai
Pasakojimas
Išskirkite savo vaizdo įrašą per kelias sekundes. Tiksliai pritaikykite balsą, kalbą, stilių ir auditoriją pagal savo poreikius!
Santrauka
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Subtitrai
Rekomenduojami klipai
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