Shinichi Mochizuki claims to have proved the ABC conjecture, an important outstanding problem in number theory.
