-
把「Structure and randomness in the prime numbers」写成可执行的阅读路径
This week I am in Bremen, where the 50th International Mathematical Olym…
-
2026神经网络架构搜索NAS落地指南：算法对比、算力降本与避坑技巧全解析
神经网络架构搜索（NAS）是AutoML核心技术，可全自动设计最优神经网络架构，彻底替代人工调参与架构设计。当前NAS技术的核心发展趋势是低算力…
-
读懂「IMO 2009 Q6 as a mini-polymath project」：先把定义、反例和适用范围钉死
The International Mathematical Olympiad (IMO) consists of a set of six p…
-
「IMO 2009 Q6 mini-polymath project cont.」：数学直觉如何落到可检验的步骤
Well, participation in the IMO 2009 Q6 polymath project has exceeded my …
-
「IMO 2009 Q6 mini-polymath project: impressions,」：数学直觉如何落到可检验的步骤
The mini-polymath project to find solutions to Problem 6 of the 2009 IMO…
-
「“Poincaré’s legacies” now published」笔记：问题从哪来、证明卡在哪
My two-volume book, “Poincaré’s legacies: pages from year two of a mathe…
-
「New polymath blog, and comment ratings」：数学直觉如何落到可检验的步骤
In view of the sustained interest in new polymath projects, Tim Gowers, …
-
把「P=NP, relativisation, and multiple choice exams」写成可执行的阅读路径
The most fundamental unsolved problem in complexity theory is undoubtedl…
-
「Moser’s entropy compression argument」：数学直觉如何落到可检验的步骤
There are many situations in combinatorics in which one is running some …
-
「Global regularity of wave maps VII. Control of d」：数学直觉如何落到可检验的步骤
I’ve just uploaded to the arXiv a draft version of the final paper in my…