| ▲ | The logarithms of rational numbers have irrationality exponent 2 [pdf](jdb19937.github.io) | |
| 11 points by jdb1729 3 hours ago | 2 comments | ||
| ▲ | elromulous 6 minutes ago | parent | next [-] | |
I love this footnote ∗Author of The Da Vinci Code. | ||
| ▲ | jdb1729 3 hours ago | parent | prev [-] | |
This is a Lean-verified variation of the OpenAI proof for pi. | ||