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