ModerateImprovement@sh.itjust.works to Technology@lemmy.worldEnglish · 2 months agoGoogle DeepMind’s AI systems can now solve complex math problems.www.technologyreview.comexternal-linkmessage-square4fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGoogle DeepMind’s AI systems can now solve complex math problems.www.technologyreview.comModerateImprovement@sh.itjust.works to Technology@lemmy.worldEnglish · 2 months agomessage-square4fedilink
minus-squaretechnocrit@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up0·2 months agoAutomated proofs are at least like 30+ years old. These grifters are desperate to act like they’re doing something new and exciting.
Automated proofs are at least like 30+ years old.
These grifters are desperate to act like they’re doing something new and exciting.