Cycle Double Cover conjecture proof

A 64-agent parallel run produced a short proof of a graph-theory conjecture that had remained open for more than fifty years.

OpenAI published the proof and prompt, and independent mathematicians produced expositions. It is more precise to call this a published proof under scientific review than a settled consensus.

Sources

OpenAI · published proofOpen primary source