A computational no-coincidence principle — Alignment Research Center
In a recent paper in Annals of Mathematics and Philosophy, Fields medalist Timothy Gowers asks why mathematicians sometimes believe that unproved statements are likely to be true. For example, it is unknown whether 𝜋 π is a normal number (which, roughly speaking, means that every digit appears in 𝜋 π with equal frequency), yet this is widely believed. Gowers proposes that there is no sign of any reason for 𝜋 π to be non-normal -- especially not one that would fail to reveal itself in the first million digits -- and in the absence of any such reason, any deviation from normality would be an outrageous coincidence. Thus, the likely normality of 𝜋 π is inferred from the following general principle: No-coincidence principle (Gowers): If an apparently outrageous coincidence happens in mathematics, then there is a reason for it. In other words: suppose that the digit 3 accounts for not 10% but 11% of digits in the decimal expansion of 𝜋 π . Intuitively, there ought to be an explana
In a recent paper in Annals of Mathematics and Philosophy, Fields medalist Timothy Gowers asks why mathematicians sometimes believe that unproved statements are likely to be true. For example, it is unknown whether \(\pi\) is a normal number (which, roughly speaking, means that every digit appears in \(\pi\) with equal frequency), yet this is widely believed. Gowers proposes that there is no sign of any reason for \(\pi\) to be non-normal -- especially not one that would fail to reveal itself in the first million digits -- and in the absence of any such reason, any deviation from normality wou
related reading
- Using spaced repetition systems to see through a piece of mathematicscognitivemedium.com
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- Competing with sampling — Alignment Research Centeralignment.org
- A Theory That Proves Its Own Inconsistency · Yan Sheng's siteangyansheng.github.io
- Formal verification, heuristic explanations and surprise accounting — Alignment Research Centeralignment.org
- Reasons to believescottaaronson.blog
- I believe P=NPemanueleviola.wordpress.com
- [2608.00140] Discrepancy Theory: An Algorithmic and Geometric Perspectivearxiv.org
- aaronson-philosophy.pdfcs.princeton.edu
- pnp.pdfscottaaronson.com
- Common Knowledge and Aumann’s Agreement Theoremscottaaronson.blog
- Lecture 14: Zero knowledge proofsboazbarak.org