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

问题在问什么

This week I am at Penn State University , giving this year’s Marker lectures . My chosen theme for my four lectures here is “recent developments in additive prime number theory”. My first lecture, “Long arithmetic progressions in primes”, is similar to my AMS lecture on the same topic and so I am not reposting it here. The second lecture, the notes for which begin after the fold, is on “Linear equations in primes”. These two lectures focus primarily on work of myself and Ben

However, for most patterns, there is no analogue of Szemerédi’s theorem, and the strategy used in the previous lecture or AMS lecture cannot be directly applied. For instance, it is certainly not true that any subset of integers with positive upper density contains any twins ; the multiples of three, for instance, form a counterexample, among many others. (In fact, there are so many counterexamples here, that it looks unlikely that the twin prime conjecture can be attacked by

已知结果和反例

Furthermore, even in the cases when these methods do work, for instance in demonstrating for each k that there are infinitely many progressions of length k inside the primes, they do not settle the more quantitative problem of how many progressions of length k there are asymptotically in any given finite range of primes, e.g. the primes less than a number N in the asymptotic limit . This is because Szemerédi’s theorem provides a lower bound for the number of progressions in a

On the other hand, as discussed in the previous lecture or AMS lecture , one can use standard random models for the primes to predict what the correct asymptotic for these questions should be. For instance, the number of arithmetic progressions of a fixed length k consisting of primes less than N should be asymptotically

证明或构造的主线

where the product is over all primes p, and the quantity is defined as

The various terms in this complicated-looking formula can be explained as follows. The “Archimedean” factors and come from the fact that the number of arithmetic progressions of natural numbers less than N is . The “density” factor comes from the prime number theorem , which roughly speaking asserts that each of the k elements in a typical arithmetic progression has a “probability” of being prime. The “local” factors measures how much bias arithmetic progressions with respect

阅读时建议盯住的点

Similar heuristic asymptotic formulae exist for the number of many other patterns of primes; for instance, the number of representations of a large integer N as the sum of two primes should be equal to , where is the probability that two randomly chosen numbers conditioned to be coprime to p sum to N modulo p, divided by the probability that two randomly chosen numbers sum to N modulo p. (In particular, for odd N, reflecting the fact that it is very difficult for an odd numbe

Using some elementary linear algebra, one can recast the prime tuples conjecture not as a question of finding linear patterns inside primes, but rather that of solving linear equations in which all the unknowns are required to be prime, subject to some additional linear inequalities. For instance, finding progressions of length k consisting entirely of primes less than N is essentially the same as asking for solutions to the system of equations

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

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

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

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

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