From Google DeepMind (it’s happening)

 [[{“value”:”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.”}]] 

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.”  From the NYT today: “Move Over, Mathematicians, Here Comes AlphaProof.”  And here is one opinion: “This type of A.I. learns by itself and can scale indefinitely, said Dr. Silver, who is Google DeepMind’s vice-president of reinforcement learning.”  Okie-dokie!

The post From Google DeepMind (it’s happening) appeared first on Marginal REVOLUTION.

 Science, Uncategorized, Web/Tech