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.
  • radivojevicEnglish
    8·
    4 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
    41·
    4 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.