4 comments

  • WalterGR 9 hours ago
    15 comments here: https://news.ycombinator.com/item?id=49961538

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

    • zamadatix 2 hours ago
      That's for a separate problem, in case anyone gets confused.
  • jdb1729 14 hours ago
    This is a Lean-verified variation of the OpenAI proof for pi.
  • elromulous 11 hours ago
    I love this footnote

    ∗Author of The Da Vinci Code.

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

    • soltanov 9 hours ago
      [flagged]