ModerateImprovement@sh.itjust.works to Technology@lemmy.worldEnglish · 4 months agoGoogle DeepMind’s AI systems can now solve complex math problems.www.technologyreview.comexternal-linkmessage-square4fedilinkarrow-up150arrow-down110cross-posted to: singularity@lemmit.online
arrow-up140arrow-down1external-linkGoogle DeepMind’s AI systems can now solve complex math problems.www.technologyreview.comModerateImprovement@sh.itjust.works to Technology@lemmy.worldEnglish · 4 months agomessage-square4fedilinkcross-posted to: singularity@lemmit.online
minus-squaretechnocrit@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up4arrow-down1·4 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.