The logarithms of rational numbers have irrationality exponent 2 [pdf]

15 comments here: https://news.ycombinator.com/item?id=49961538

Mostly about the claim and not the (purported?) author.

This is a Lean-verified variation of the OpenAI proof for pi.

I love this footnote

∗Author of The Da Vinci Code.