介绍 FrontierMath｜测试 AI 极限的数学基准｜Epoch AI｜陶哲轩｜Evan Chen
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
【课程】Andrej Bauer - 形式化的数学与证明助手
...
【全463集】禁止自学走弯路！回归算法、聚类算法、决策树、随机森林、神经网络、贝叶斯算法、支持向量机等十大机器学习算法一口气学完！
...
陶哲轩：这次差点失败的考试给我敲响了警钟...（Tibees 中文字幕）
...
【K理论仙境】从负数到K理论
...
Terence Tao 陶哲轩 - 1/4 Small gaps between primes
...
FrontierMath数学基准测试 最牛大模型正确率不到2% 60多位顶尖数学家出题
...
Will Sawin - 1/6 函数域上的数论
...
Andrew Wiles - 朗兰兹纲领
...
Jacob Lurie - 什么是... 𝘱进几何?
...
Terence Tao 陶哲轩 - 人工智能在科学和数学中的潜力
...
B站讲的最好的AI大模型实战（2024最新版）LLM+RAG系统+GPT-4o+OpenAI，全部都讲明白了！！
...
Thierry Coquand - 归纳定义与构造主义数学
...
David Hansen - 3/3 GLₙ 的范畴局部朗兰兹
...
【K理论仙境】无中生有
...
重邮16届全国大学生大学生数学竞赛奖项分配
...
【倒查三代】哪些高中，曾经一字不差命中过高考原题？
...
GPT-o2推理超神，GPT-o1为何被 “冷落”?大模型训练
...
2025李良五套卷讲解(数学二)，李良模拟卷官方讲解
...
Emily Riehl - 形式化后严格数学
...
David Mumford - 人工智能将如何影响数学研究
...
【漫士】姜萍事件最终结局
...
Luca Mesiti - 迈向基本2-拓扑斯
...
Dustin Clausen - 1/4 Three perspectives on Deligne cohomology
...
流体力学全面机器学习化！？
...
Serre, Cartier, Dixmier 和 Connes 谈布尔巴基的 1945-75 年代
...
Peter Haine - 同伦论与代数几何的互动
...
只剩40余天！各目标分数段该如何对待证明题？（25考研数学）
...
【2024版SD教程】这可能是B站唯一能将Stable Diffusion讲明白的教程，存下吧，比啃书好太多了！7天从入门到精通商业变现！拿走不谢，允许白嫖！
...
Dennis Gaitsgory - 几何Langlands猜想的证明
...
Ingo Blechschmidt - 从证明中提取程序｜关于构造性、可实现性与双重否定的微型课程
...
Lyne Moser - 构造模型范畴的新方法
...
Thaísa Tamusiunas - 逆半群作用下的伽罗瓦理论
...
Jim Arthur - 母题与自守表示
...
强推！ 导师散养不管不问，中山大学最新最全的【SCI论文写作】从研究性以及综述论文角度出发全套流程-SCI论文_SCI论文写作
...
中专“天才”少女光环破灭，姜萍数学竞赛成绩原系老师提供帮助
...
【Stable Diffusion】5款超绝涩涩大模型推荐 ，绝对好用！绅士都在用的SD大模型 新手小白必备 福利大放送！（附资料）
...
B站强推！【Matlab与机器学习的入门进阶与提高】花3小时就能从入门到精通，草履虫都能学会的机器学习算法！人工智能|决策树与随机森林|机器学习
...
机器学习入门到精通！回归算法、聚类算法、决策树、随机森林、神经网络、贝叶斯算法、支持向量机等十大机器学习算法一口气学完！人工智能/机器学习/深度学习/AI
...
Graham Manuell - 1/5 无点拓扑与构造主义数学