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

2 points | by jdb1729 2 hours ago

1 comments

  • jdb1729 2 hours ago

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