From Google DeepMind (it’s happening)

We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level. It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. Here is further information. From the NYT three days ago “A.I. Can Write Poetry, but It Struggles With Math.” […] The post From Google DeepMind (it’s happening) appeared first on Marginal REVOLUTION.