Google DeepMind’s AI systems can now solve complex math problems
www.technologyreview.com
AlphaProof and AlphaGeometry are steps toward building systems that can reason, which could unlock exciting new capabilities.
  • Admiral PatrickEnglish
    34•2 months ago

    So could my TI-89 back in the 90s. And four AAA batteries would run it for weeks.

  • @radivojevicEnglish
    8•2 months ago

    Still can’t get me to the grocery store, but it can tell me how fucked I’ll be financially.

  • @technocrit@lemmy.dbzer0.comEnglish
    3•2 months ago

    Automated proofs are at least like 30+ years old.

    These grifters are desperate to act like they’re doing something new and exciting.