17 pointsby jdb17297 hours ago4 comments
  • WalterGRan hour ago
    15 comments here: https://news.ycombinator.com/item?id=49961538

    Mostly about the claim and not the (purported?) author.

  • jdb17297 hours ago
    This is a Lean-verified variation of the OpenAI proof for pi.
  • elromulous4 hours ago
    I love this footnote

    ∗Author of The Da Vinci Code.

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

    • soltanov2 hours ago
      [flagged]
  • 4 hours ago
    undefined