ABC conjecture: The secret project to settle controversial maths proof with a computer
In 2012, Shinichi Mochizuki published a paper claiming to provide a proof for the ABC conjecture in number theory Newscom/Alamy One of the most bitterly contested proofs in modern mathematics may be on the verge of being untangled. Two projects, both aiming to use a computer program to cast new light on the controversy, are…
