The logarithms of rational numbers have irrationality exponent 2 [pdf]
jdb1729
17 points
5 comments
October 09, 2026
Related Discussions
Found 5 related stories in 92.9ms across 8,999 title embeddings via pgvector HNSW
- How real are real numbers? (2004) surprisetalk · 67 pts · July 27, 2026 · 45% similar
- Integer multiplication below n log n E-Reverance · 91 pts · October 06, 2026 · 43% similar
- A digestion of the Jacobian conjecture counterexample jeremyscanvic · 229 pts · July 21, 2026 · 36% similar
- Ring-Zero: Scaling Zero RL to a Trillion Parameters for Emergent Reasoning binyu · 45 pts · July 16, 2026 · 36% similar
- Learning more about Claude's mathematical capabilities tosh · 180 pts · August 10, 2026 · 35% similar
Discussion Highlights (3 comments)
jdb1729
This is a Lean-verified variation of the OpenAI proof for pi.
elromulous
I love this footnote ∗Author of The Da Vinci Code.
WalterGR
15 comments here: https://news.ycombinator.com/item?id=49961538 Mostly about the claim and not the (purported?) author.