YHK - yet another hacker news clone

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

11 points jdb1729 3 hours ago 1 comments

jdb1729 3 hours ago | parent

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