There is this thing called the abc Conjecture. It’s a big question in number theory, which is the part of mathematics where we learn we don’t understand anything about prime numbers. Nearly a decade ago Shinichi Mochizuki announced a proof. It’s been controversial. Most importantly, it’s not been well-understood.

It’s finally getting published in a proper journal. A lot of mathematics work is passed around as PDFs, usually on arXiv.org, these days. It’s good for sharing fresh thoughts. But journal publication usually means that the paper has been reviewed, critically, and approved by people who could tell whether the reasoning is sound. Mochizuki’s paper is somewhere around 500 to 600 pages (I’ve seen different figures), and by every report hard to understand even for number theory proofs. A proof is, more than mathematicians like to admit, really an argument that convinces other mathematicians that, if we wanted to spend the time, we could find a completely rigorous proof. With very long proofs, and very complicated proofs, the standard of being convincing gets tougher.

In this essay, **Not As Easy As ABC**, rjlipton discusses some of the conjecture, and the problems of Mochizuki’s paper. Not specifically about whether this proof is right, but about the general problem of how we can trust difficult proofs. So you may find that worth the read.

### Like this:

Like Loading...

*Related*

## Author: Joseph Nebus

I was born 198 years to the day after Johnny Appleseed. The differences between us do not end there. He/him.
View all posts by Joseph Nebus

With any purported proof of the ABC conjecture, we suggest caution or always be careful.

Here’s a link to a simpler proof of the ABC conjecture:

https://www.math10.com/forum/viewtopic.php?f=63&t=1793&sid=f885ab209320bdd9eb18f65a33c0dc76

LikeLike

Yeah, caution and skepticism is needed for any news about any big result. Really one could just be an absolute sourpuss and declare any proof ‘surely wrong, I don’t have to figure out how’ and be right reliably enough. (There were some science fiction forums where I got to be a bit of the group crank just from explaining that no, that weird apparatus is

notproducing inexplicable thrust and no, that star isnotdimming because of aliens and no, the Alcubierre drive is not actually possible.)LikeLiked by 1 person