陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「Polymath8b, II: Optimising the variational problem and the sieve」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

This is the second thread for the Polymath8b project to obtain new bounds for the quantity

either for small values of (in particular ) or asymptotically as . The previous thread may be found here . The currently best known bounds on are:

已知结果和反例

Following the strategy of Maynard, the bounds on proceed by combining four ingredients:

Accordingly, the most natural routes to improve the bounds on are to improve one or more of the above four ingredients.

证明或构造的主线

Ingredient 1 was studied intensively in Polymath8a. The following results are known or conjectured (see the Polymath8a paper for notation and proofs):

Ingredient 2 was also studied intensively in Polymath8a, and is more or less a solved problem for the values of of interest (with exact values of for , and quite good upper bounds for for , available at this page ). So the main focus currently is on improving Ingredients 3 and 4.

阅读时建议盯住的点

For Ingredient 3, the basic variational problem is to understand the quantity

for bounded measurable functions, not identically zero, on the simplex

值得单独记下的条目

• (Polymath8b, tentative) .
• (Polymath8b, tentative) for sufficiently large .
• (Maynard) Assuming the Elliott-Halberstam conjecture, , , and .
• Distribution estimates or for the primes (or related objects);
• Bounds for the minimal diameter of an admissible -tuple;
• Lower bounds for the optimal value to a certain variational problem;
• Sieve-theoretic arguments to convert the previous three ingredients into a bound on .
• (Bombieri-Vinogradov) is true for all .

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源