Tianfu Math Lab

数学前沿雷达

一图读懂最新数学研究。

来源

arXiv 数学预印本

采集、筛选、转译为适合学习者理解的数学资讯。

来源

Quanta Magazine 数学文章

采集、筛选、转译为适合学习者理解的数学资讯。

来源

AMS Notices

采集、筛选、转译为适合学习者理解的数学资讯。

来源

EMS Magazine

采集、筛选、转译为适合学习者理解的数学资讯。

来源

数学奖项

采集、筛选、转译为适合学习者理解的数学资讯。

来源

数学会议

采集、筛选、转译为适合学习者理解的数学资讯。

来源

数学家访谈

采集、筛选、转译为适合学习者理解的数学资讯。

来源

AI + 数学研究

采集、筛选、转译为适合学习者理解的数学资讯。

数学前沿挑战

2026-06-29

数学前沿雷达：AI 正在改变定理证明的协作方式

从形式化证明与大模型辅助推理看，未来数学研究可能出现新的协作流程。

#AI 数学#形式化证明#数学研究
阅读内容

本文涉及的 arXiv 等预印本内容通常尚未完成正式同行评审，本文仅作数学学习与科研资讯观察，不代表最终学术结论。

数学前沿挑战

2026-06-26

一图读懂组合数学里的随机方法

随机方法告诉我们：有时证明存在性，不必真的把对象构造出来。

#组合数学#概率#存在性证明
阅读内容

本文涉及的 arXiv 等预印本内容通常尚未完成正式同行评审，本文仅作数学学习与科研资讯观察，不代表最终学术结论。

数学前沿挑战

2026-08-25

形式化证明：把「检查证明」这件事交给机器

Lean、Coq 这类证明助手不负责想出证明，它们负责逐行确认每一步是否合法。

#AI 数学#形式化证明#数学研究
阅读内容

本文为学习性观察，不代表任何具体项目的最新进展或最终学术结论。

数学前沿挑战

2026-08-25

抛硬币为什么能让算法更快

随机算法放弃了「每次都对」，换来的是「几乎总是很快，而且错得可控」。

#算法#概率#复杂度
阅读内容

本文为通识性介绍，不涉及具体实现的安全性结论。

数学前沿挑战

2026-08-25

大模型做数学题，通常错在哪一步

错误很少出现在最后的计算上，更多出现在把题意翻译成条件的那一步。

#AI 数学#推理#学习方法
阅读内容

本文为使用经验层面的归纳，不构成对任何具体模型能力的评测结论。