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
Explore this link on the map →related reading
- Computational Complexityblog.computationalcomplexity.org
- Formal verification, heuristic explanations and surprise accounting — Alignment Research Centeralignment.org
- Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- Shtetl-Optimized >> Blog Archive >> Ten Signs a Claimed Mathematical Breakthrough is Wrongscottaaronson.blog
- An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIopenai.com
- Igor Pak's blog | Views on life and mathigorpak.wordpress.com
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Competing with sampling — Alignment Research Centeralignment.org
- The bunkbed conjecture is false | Igor Pak's blogigorpak.wordpress.com