eicker@lemmy.world to Technology@lemmy.worldEnglish · 1 month 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 · 1 month agomessage-square23linkfedilink
minus-squareImgurRefugee114@reddthat.comlinkfedilinkEnglisharrow-up9·1 month 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.