eicker@lemmy.world to Technology@lemmy.worldEnglish · 2 months 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-square21fedilinkarrow-up133arrow-down120
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 · 2 months agomessage-square21fedilink
minus-squareTreczoks@lemmy.worldlinkfedilinkEnglisharrow-up7arrow-down1·2 months agoThe question is: are those real proofs, or just AI reasoning bugs again?
The question is: are those real proofs, or just AI reasoning bugs again?