Automated proofs are at least like 30+ years old.
These grifters are desperate to act like they’re doing something new and exciting.
Google DeepMind’s AI systems can now solve complex math problems.
Submitted 3 months ago by ModerateImprovement@sh.itjust.works to technology@lemmy.world
Comments
technocrit@lemmy.dbzer0.com 3 months ago
LodeMike@lemmy.today 3 months ago
Sure…
radivojevic@discuss.online 3 months ago
Still can’t get me to the grocery store, but it can tell me how fucked I’ll be financially.