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

21 pointsposted 14 hours ago
by jdb1729

8 Comments

jdb1729

14 hours ago

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

elromulous

11 hours ago

I love this footnote

∗Author of The Da Vinci Code.

avaer

11 hours ago

Is this actually true or fraudulent? I couldn't tell.

skissane

9 hours ago

I'm pretty sure it's a joke–although I myself was uncertain at first.

I want to be respectful of other people's privacy, but it isn't hard to find the author's Facebook/LinkedIn/etc, at which point their non-identity with the famous novelist becomes obvious.

user

11 hours ago

[deleted]