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-square21linkfedilinkarrow-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 · 1 month agomessage-square21linkfedilink
minus-squareunpossum@sh.itjust.workslinkfedilinkEnglisharrow-up5arrow-down5·1 month agoNothing can disprove that to that crowd, I’m afraid.
minus-squareFauxLiving@lemmy.worldlinkfedilinkEnglisharrow-up5arrow-down2·1 month agoThey think the problem is AI, when it’s actually capitalism and securities fraud. It’s much simpler to fixate on the technology than to have to understand complex things like economics and history.
Nothing can disprove that to that crowd, I’m afraid.
They think the problem is AI, when it’s actually capitalism and securities fraud.
It’s much simpler to fixate on the technology than to have to understand complex things like economics and history.