Google DeepMind Solves New Class of Mathematical Problems

Google DeepMind announced that its AlphaProof system has produced valid proofs for three open mathematical conjectures in combinatorics and number theory.

The proofs were verified by independent mathematicians at the Fields Institute and confirmed to be both novel and correct.