https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/ https://www.quantamagazine.org/titans-of-mathematics-clas

https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/ https://www.quantamagazine.org/titans-of-mathematics-clash-o... Imagine if this were just a program you could run that returns 'true' or 'false'