OpenAI Says Astra Solved 10 Math Problems With Lean Proofs
www.implicator.ai
OpenAI paired its Astra proof claims with Lean certificates and a public repository. That makes the results checkable, but it does not make the unreleased model or peer review disappear.
  • ImgurRefugee114@reddthat.comEnglish
    9·
    12 days ago

    The Decoder reported on August 1 that Brown said the lab had not spent much on each problem and that there were “no Millennium Prize Problems (yet)”.

    Just to be clear.

    But yeah, if that happens, it will certainly be a major milestone.