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-square23linkfedilinkarrow-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-square23linkfedilink
minus-squarenewtraditionalists@kbin.melroy.orglinkfedilinkarrow-up3arrow-down5·2 months agoTo believe anything these companies claim about their model is to demonstrate you’re a gullible simpleton. You’re exactly the type of non-critical thinker they need to thrive.
To believe anything these companies claim about their model is to demonstrate you’re a gullible simpleton. You’re exactly the type of non-critical thinker they need to thrive.