eicker@lemmy.world to Technology@lemmy.worldEnglish · 1 day agoOpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private.www.implicator.aiexternal-linkmessage-square19fedilinkarrow-up127arrow-down114
arrow-up113arrow-down1external-linkOpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private.www.implicator.aieicker@lemmy.world to Technology@lemmy.worldEnglish · 1 day agomessage-square19fedilink
minus-squareImgurRefugee114@reddthat.comlinkfedilinkEnglisharrow-up7·edit-223 hours 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.
Just to be clear.
But yeah, if that happens, it will certainly be a major milestone.