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.

  • morrowind@lemmy.mlOP
    link
    fedilink
    English
    arrow-up
    7
    arrow-down
    5
    ·
    3 months ago

    I know there’s a strong anti AI sentiment on lemmy, but I would advise reading at least the article, if not more details before denouncing it