陶哲轩用AI证明数学猜想实乃误读，但数学界仍大受震动

加星标，才能不错过每日推送！方法见文末动图

加性组合与多项式Freiman-Ruzsa猜想

陶哲轩们更大的野心

特 别 提 示

长按下方图片关注「返朴」，查看更多历史文章

微信实行乱序推送，常点“在看”，可防失联

2023年是数学界浓墨重彩的一年。组合学领域的知识爆发式增长。在去年年末，4位重量级数学家更是组队拿下了加性组合学的圣杯。但对于加性组合学这一年轻、活力四射的研究领域，公众却知之甚少。而此事的后续，或许才是影响最为深远的。“我们将把数学数字化，这会让数学变得更好”。

撰文 |

嘉伟

图中人物从上到下，从左至右分别为Gowers，陶哲轩，Manners和Green。|图源：Gil Kalai的博客Combinatorics and more: Image (wordpress.com)

Kati Marton悬挂在布达佩斯Renyi学院走廊上的照片。|图源：Gil Kalai的博客Combinatorics and more: Image (wordpress.com)

陶哲轩到底用AI做了什么？

12 月 4 日时还剩下一个小定理（图中蓝色对象框）未被形式化。|图源：teorth.github.io/pfr/blueprint/

参考资料

1. [2311.05762] On a conjecture of Marton (arxiv.org)

本文受科普中国·星空计划项目扶持

出品：中国科协科普部

监制：中国科学技术出版社有限公司、北京中科星河文化传媒有限公司

相关阅读

1 陶哲轩：从复杂系统中，抓住奇妙的普适性

2 学生必读：陶哲轩教你解题策略

3 陶哲轩：计算机辅助数学证明的历史

4 与陶哲轩“共舞”的一个周末 | 数学家发现纪实

近期推荐

1 拥有10²⁸种变化的黑白棋，被超算破解了！

2 体检中盛行的肿瘤标志物筛查，无一获批却已大行其道

2 受张益唐启发，17岁少年攻克世界数论难题

4 曼哈顿计划的灵魂人物，20世纪最强问题解决者

5 他是最后一个什么都懂的人，去世时年仅55岁

1. 进入『返朴』微信公众号底部菜单“精品专栏“，可查阅不同主题系列科普文章。

找不到《返朴》了？快加星标！！