Computers to Decide on Math Proof Dispute

A proposed proof of the abc conjecture by Shinichi Mochizuki is being run through computers. Researchers are looking for flaws in the proof. This dispute involves a significant mathematical problem and the use of computational methods to assess its validity.

Summarized from the sources above. Read the originals for the full story.