TUG 2026 — 会议视频录像全集
【Topos理论】1.历史和范畴论基础
H.Hopf 猜想被证明,人类数学家扳回一城?
陶哲轩:黎曼猜想是一个无法攀爬的垂直悬崖,张益唐出现之前【2017年访谈】
学术风的 beamer 就要这样
甲小姐对话北大董彬:AI for Math的无尽前沿,AI时代不被替代的志愿……请相信数学!
The Shape of Letters: from Leonardo da Vinci to Donald Knuth(文字之形)
给分析学爱好者提个醒:AI4Math 项目还需要回答什么?
科研配图动起来,3 分钟把 TikZ 代码变成丝滑 GIF 动画
ICM 2026公众讲座 - Terence Tao - Simons Foundation
数学界的六边形战神!陶哲轩,菲尔兹 + 突破奖,在最难数学难题持续推进
陶哲轩:AI时代的数学(ICM 2026) - Alvaro Lozano-Robledo
一个数学在读博士生关于现在AI4math的想法
Octree —— 开启 AI 驱动的 LaTeX 创作新时代
带智能进度条专为学术表达而来 beamer 主题
刘海洋 · LaTeX 不快速的入门 - 跟着大神学习最纯正的 LaTeX 知识
菲尔兹奖得主用AI后质疑人类研究数学意义
陶哲轩在数学大会上的演讲:AI时代的数学
Lean创造者,手写数学将迎巨变 | Ryan Peterman | Creator of Lean Handwritten Math Will Change
陶哲轩:98%的题,AI都败了