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의 현재 한계와 미래의 가능성에 대한 통찰도 공유된다.
سب ٹائٹلز
تجویز کردہ کلپس
03:38
If You Hold Crypto... GET READY! (urgent) ☝️
06:59
Beliefism: how to stop hating the people we disagree with | LSE Event
07:55
인류 기원에 대한 모든 것을 뒤흔드는 수메르 기록들 | 수면을 위한 역사
11:52
뒷 이야기를 알고보면 소름끼치는 나사의 극비 탐사 자료
03:28
How your vision determines your reality | Bryan William Jones | TEDxBerlin
05:46
Technology Solving Global Challenges | Nick Haan | SingularityU Japan Summit
06:57
수메르 문헌이 밝혀내는 과학으로 설명할 수 없는 인류 역사 속 시간의 공백 | 히스토리 포 슬립
01:39
(주)지씨에스 기업홍보
04:19
The Future of Education: AI, Innovation & High-Performance Schools with Vikas Pota
03:45
코인 틈새시장 발견해 수십억원 자산 모은 35살
10:21
Fixing education for the AI age | LSE Event
08:01
Veritasium: What Everyone Gets Wrong About AI and Learning – Derek Muller Explains