eicker@lemmy.world to Technology@lemmy.worldEnglish · 4 days 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-square23linkfedilinkarrow-up135arrow-down120
arrow-up115arrow-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 · 4 days agomessage-square23linkfedilink
minus-squareImgurRefugee114@reddthat.comlinkfedilinkEnglisharrow-up9·4 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.
Just to be clear.
But yeah, if that happens, it will certainly be a major milestone.