The Singularity is Near

by Ray Kurzweil

A long-standing conjecture in algebra was finally proved by an AI system at Argonne National Laboratory. Human mathematicians called the proof “creative.”