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

问题在问什么

Below the fold is a version of my talk “Recent progress on the Kakeya conjecture” that I gave at the Fefferman conference.

One of my favourite problems in mathematics is the Kakeya family of conjectures . There are many versions of these conjectures, but one of the simplest to state is the following:

已知结果和反例

Let be a compact subset of which contains a unit line segment in every direction. Then has Hausdorff and Minkowski dimension .

Sets which contain a unit line segment in every direction are known as Kakeya sets . It was observed by Besicovitch that for , Kakeya sets can have arbitrarily small Lebesgue measure; in fact they can have Lebesgue measure zero. This in turn implies that the solution to the Kakeya needle problem (what is the least amount of area in the plane needed to rotate a unit line segment by ?) is that a unit needle can be rotated in arbitrarily small area (see this previous blog post o

证明或构造的主线

The conjecture is trivial in one dimension, and also proven in two dimensions (a result of Davies ), but remains open in three and higher dimensions. Nevertheless, there are a number of partial results, typically of the form “Kakeya sets in have Hausdorff or Minkowski dimension at least ” for various values of and (with the objective being to get all the way up to “. One can also phrase such results in a largely equivalent discrete fashion, as follows. Let be a small number,

holding for all , where denotes the volume of the set , and denotes the estimate for some depending only on . Similarly, a partial result of the form

阅读时建议盯住的点

for all and some would imply (and is basically equivalent to) the assertion that Kakeya sets have (lower) Minkowski dimension at least .

There is also a somewhat stronger Kakeya maximal function conjecture which is also of interest; with the same hypotheses as above, the conjecture asserts that

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

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

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

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

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