DeepMind’s AlphaProof solves a long-open combinatorics conjecture
In a paper published in Nature, DeepMind’s formal-math system AlphaProof contributed a key lemma in the proof of a 40-year-old combinatorics conjecture.
Machine Learning
In a paper published in Nature, DeepMind’s formal-math system AlphaProof contributed a key lemma in the proof of a 40-year-old combinatorics conjecture.