In 2012, the mathematician Shinichi Mochizuki claimed he had solved the abc conjecture, a major open question in number theory about the relationship between addition and multiplication. There was just one problem: His proof, which was more than 500 pages long, was completely impenetrable. It relied on a snarl of new definitions, notation, and theories that nearly all mathematicians found...
![Why Mathematical Proof Is a Social Compact Why Mathematical Proof Is a Social Compact](https://search.ai.wiki/wp-content/uploads/2023/09/why-mathematical-proof-is-a-social-compact.webp)