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

3 comments

• jdb1729 5 hours ago

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

• elromulous 2 hours ago

  I love this footnote

  ∗Author of The Da Vinci Code.

  [-]

  • avaer an hour ago

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