8 comments

[ 2.0 ms ] story [ 16.9 ms ] thread
This is a Lean-verified variation of the OpenAI proof for pi.
(comment deleted)
I love this footnote

∗Author of The Da Vinci Code.

Is this actually true or fraudulent? I couldn't tell.
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.

High-effort math shitpost, but credit where it's due for writing coherent transcendental number theory.