Mostly about the claim and not the (purported?) author.
zamadatix 1 days ago [-]
That's for a separate problem, in case anyone gets confused.
jdb1729 2 days ago [-]
This is a Lean-verified variation of the OpenAI proof for pi.
elromulous 2 days ago [-]
I love this footnote
∗Author of The Da Vinci Code.
avaer 2 days ago [-]
Is this actually true or fraudulent? I couldn't tell.
skissane 1 days ago [-]
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.
soltanov 1 days ago [-]
[flagged]
2 days ago [-]
Rendered at 15:39:01 GMT+0000 (UTC) with Wasmer Edge.
Mostly about the claim and not the (purported?) author.
∗Author of The Da Vinci Code.
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.