V
主页
京东 11.11 红包
陶哲轩《人工智能与数学|Terence Tao at IMO 2024 AI and Mathematics》中英字幕(豆包翻译
发布人
在2024年第65届国际数学奥林匹克(IMO)上,著名数学家陶哲轩(Terence Tao)发表了一场关于人工智能(AI)与数学的演讲。他详细探讨了人工智能在数学研究中的作用,特别是机器学习和形式证明助手(formal proof assistants)的应用。陶哲轩回顾了从早期计算工具到现代AI的演变过程,并介绍了计算机辅助证明(如四色定理和开普勒猜想)的成功案例。 他强调,虽然AI在帮助验证定理、识别模式等方面展现了巨大潜力,但数学中的核心创新和洞察仍然依赖于人类的直觉和创造力。例如,AI在结理论中通过神经网络预测结不变量取得了一些成功,但在生成新的数学猜想方面仍然有很大的局限性 陶哲轩还展望了AI在数学未来的发展潜力,认为AI可以通过自动化一些繁琐的计算任务、为复杂问题提供线索等方式,帮助数学家节省时间,从而更专注于真正具有挑战性的创造性问题。
打开封面
下载高清视频
观看高清视频
视频下载器
【全368集】强推!这可能是B站最全的AI大模型开发系统教程,2024最新版,草履虫都能学会!存下吧,逼自己一个月学完,少走99%的弯路!
【全874集】目前B站最全最细的ChatGPT零基础全套教程,2024最新版,包含所有干货!一天就能从小白到大神!少走99%的弯路!存下吧!很难找全的!
MIT《分析优势|MIT 15.071 The Analytics Edge, Spring 2017》中英字幕(豆包翻译
斯坦福大学《人工智能:原理与技术|CS221: Artificial Intelligence: Principles and Techniques 2021》
在飞牛nas上用青龙面板和AI做一个哄女朋友的神器
【比看狂飙还爽!】2024年最全人工智能入门的天花板教程!不接受任何反驳,草履虫都能学会!人工智能|AI|机器学习|深度学习|)
2024最新版AI大模型短期训练教程,逼自己一周学完(LLM+RAG系统+GPT-4o+OpenAI)光刷完就赢麻了,通俗易懂|学完即就业!
MIT《材料热力学|MIT 3.020 Thermodynamics of Materials, Spring 2021》中英字幕(豆包翻译
台湾大学《统计力学|Statistical Mechanics at NTU》中英字幕(豆包翻译
吴恩达《使用私人数据进行大语言模型的联邦微调|Federated Fine-tuning of LLMs with Private Data》中英字幕(豆包翻译
悉尼大学《微积分入门|Introduction to Calculus》中英字幕
这可能是B站讲的最好的AI大模型教程,一周吃透AI大模型(LLM+RAG系统+GPT-4o+OpenAI) 让你少走99%弯路!(2024最新版)
2024年北大金秋营第2题
Andrej Karpathy《GPT的现状|State of GPT 2023》中英字幕(豆包翻译
2024年吃透AI大模型,一周学完,让你少走99%弯路!(小白也轻松学会的AI大模型应用开发课程)
密歇根大学《Python3编程(课程1、2、3)》|Python 3 Programming(Python for everyone进阶)(中英字幕)
【10月最新chat gpt】免费,无需翻墙,免登录直接chatgpt3.5和gpt4.0教程。
UCB《数理逻辑导论|Math 125A -- Mathematical Logic 2020》中英字幕
MIT《相对论量子场论|MIT 8.323 Relativistic Quantum Field Theory I, Spring 2023》中英字幕(豆包翻译
Coursera斯坦福大学《概率图模型(表示、推断、学习)|Probabilistic Graphical Models》中英字幕
伯克利音乐学院《歌手作曲家(吉他入门、演唱流行、歌词创作、Ableton Live)|The Singer Songwriter》中英字幕
哥伦比亚大学《因果推断1、2|causal inference》中英字幕
耶鲁大学《在不确定和压力时期管理情绪|Managing Emotions in Times of Uncertainty & Stress》中英字幕
MIT《概率学导论(201-266/266)|MIT RES.6-012 Introduction to Probability, Sp 2018》(豆包翻译
普林斯顿大学《全球系统性风险|Global Systemic Risk》中英字幕
斯坦福大学《AI觉醒|ECON295 CS323 2024 The AI Awakening, Erik Brynjolfsson》中英(豆包
【2024年11月最新chatgpt】GPT小白必看,GPT4.0免费使用教程。免翻,免登录,无任何限制,直接使用。
MIT《泛函分析|MIT 18.102 Introduction to Functional Analysis, Spring 2021》中英字幕(豆包翻译)
斯坦福大学《机器学习理论|Stanford CS229M Machine Learning Theory - Fall 2021》中英字幕
CMU《凸优化|CMU 10 725 Convex Optimization fall 2018》中英字幕(豆包翻译)
吴恩达《AI Python入门4:库和API|AI Python for Beginners: libraries and APIs》中英字幕
【2024年11月最新版ChatGPT】免费 ,无需翻墙,无限次数使用chatgpt3.5和gpt4.0教程。
吴恩达《如何构建、评估和迭代LLM代理|How to Build, Evaluate, and Iterate on LLM Agents》中英字幕
Y Combinator《如何创办一家初创公司|How to Start a Startup》中英字幕
【比刷剧还爽】2024年 AI大模型 天花板教程,全程干货无废话,包含所有干货,7天学完直接面试上岗,三连拿走不谢!
MIT《计算机科学的数学| 6.042J Mathematics for Computer Science, Spring 2015》豆包翻译
斯坦福大学《数学思维导论|Introduction to Mathematical Thinking》中英字幕
密歇根大学:理解数据:导航统计、科学和AI,Understanding Data: Navigating Statistics, Science, and AI
【2024版AI大模型教程】这可能是B站唯一能将AI大模型讲明白的教程(LLM+RAG系统+GPT-4o+OpenAI)7天从入门到进阶实战!拿走不谢,允许白嫖
MIT《风险和决策分析|MIT IDS.333 Risk and Decision Analysis, Fall 2021》中英字幕(豆包翻译