Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics

Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.

  • hendrik@palaver.p3x.deEnglish
    7·
    2 months ago

    Hehe, namedropping “AGI” in the very first paragraph and then going ahead with an AI that is super tailored to a narrow task like formal math proofs and geometry…

    • morrowindOPEnglish
      31·
      2 months ago

      It could be used in a mixture of experts type situation

      • hendrik@palaver.p3x.deEnglish
        2·
        2 months ago

        Sure. But none of this is about that. And I somehow doubt that’ll be the path towards AGI anyways. Does any combination of narrow abilities become general at some point? Is the sum more than it’s parts? I think so. Especially with intelligence.
        And MoE comes with the issue that it can’t really apply knowledge from one domain to another. At least if you separate the subjects. Whereas I as an general intelligent being can apply my math skills to engineering, coding, doing a plethora of every day tasks. So I’m not sure if MoE help with that.