Tianfu Math Lab

数学前沿雷达

一图读懂最新数学研究。

来源

arXiv 数学预印本

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

来源

Quanta Magazine 数学文章

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

来源

AMS Notices

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

来源

EMS Magazine

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

来源

数学奖项

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

来源

数学会议

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

来源

数学家访谈

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

来源

AI + 数学研究

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

数学前沿挑战

2026-06-29

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

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

#AI 数学#形式化证明#数学研究

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

数学前沿挑战

2026-06-26

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

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

#组合数学#概率#存在性证明

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