From Google DeepMind (it happens)

Introducing the first AI problem solver for the International Mathematics Olympiad at the silver medalist level. Including AlphaProofa new success model for legal consulting, and AlphaGeometry 2an improved version of our previous system.

Here are some details.

From the NYT three days ago “AI Can Write Poetry, But Struggles With Math.” From today’s NYT: “Move over, Mathematicians, Here Comes AlphaProof.” And here’s one idea: “This kind of AI learns itself and can grow forever, said Dr. Silver, Google DeepMind’s vice president of reinforcement learning.” Okie-dokie!



Source link