When will computers full automate mathematical conjecture and proof? Posted on September 7, 2020 by jgordon Link. Decades, not centuries.
