DeepMind’s AlphaProof contributed a previously elusive lemma to a long-standing combinatorics conjecture, the team reports in Nature. The lemma was independently verified by three human mathematicians.
DeepMind’s AlphaProof contributed a previously elusive lemma to a long-standing combinatorics conjecture, the team reports in Nature. The lemma was independently verified by three human mathematicians.