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•1 month ago

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

  • @[email protected]English
    8•1 month ago

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

  • @[email protected]English
    3•1 month ago

    Automated proofs are at least like 30+ years old.

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