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

0:00 / 0:00
John
Корејски
Studenti
Pripovedanje
Učinite da vaš video bude upečatljiv za nekoliko sekundi. Prilagodite glas, jezik, stil i publiku tačno onako kako želite!
Резиме
테렌스 타오와 렉스 프리드먼의 대화에서는 수학에서 AI의 미래와 Lean 프로그래밍 언어의 활용에 대해 논의한다. Lean은 수학적 증명을 형식화하고 검증하는 데 도움을 주는 언어로, 각 코드 라인이 수학적 주장을 구성하는 방식으로 설계되었다. 타오는 AI가 수학적 증명에서 어떻게 협력할 수 있는지, 그리고 AI의 발전이 수학 연구에 미치는 영향에 대해 이야기하며, AI가 수학자와 협력하여 새로운 추측을 생성할 수 있는 가능성을 제시한다. AI의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
Titlovi
Preporučeni klipovi
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