Machines Solve Century-Old Math Mystery

In July 1976, computers solved the Four Color Theorem after 1,200 hours of compute and 10 billion decisions, marking the first time machines proved a mathematical theorem. While some mathematicians like Herbert Wilf rejected the method, others like Bill Tutte accepted it, signaling a shift toward computer-aided proofs in science.