The first major theorem proved primarily by computer, marking the transition from human-only to machine-assisted mathematical discovery.
Open the full topic