Imagine this scenario: Scientists have intercepted a transmission from an alien race. It’s clear that the message comes from an intelligent being, but everything about it — the syntax, the grammar, the context — is unintelligible to us Earthlings.
That’s how most mathematicians feel about the Inter-universal Teichmüller Theory (IUT), a proof introduced by mathematician Shinichi Mochizuki over a decade ago in an attempt to solve the famous ABC conjecture, one of the most famous unsolved problems in number theory, which deals with the sum of prime numbers and has implications on many other conjectures.
IUT bears so little resemblance to other branches of math that it’s been nicknamed the “alien’s language.” Only about 20 people in the world have managed to comprehend it to any extent. But now, a 28-year-old engineer named Zhou Zhongpeng has made significant progress in demystifying IUT.
Mochizuki developed IUT in the early 2000s and published it across a series of four preprints in 2012. The proof is over 2,000 pages long, and Mochizuki claims it offers a solution to the ABC conjecture. If proven, the conjecture could help unlock other major mathematical enigmas, such as Fermat’s Last Theorem — a nearly 400-year-old conjecture that states no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2.
However, IUT employs concepts and symbols that are wholly unique in the world of math. In other words, Mochizuki essentially created his own mathematical language — and it confounded many of the world’s leading mathematicians. A few brave souls, including mathematician Ivan Fesenko, have chipped away at parts of it and lent some credence to Mochizuki’s claims. Yet despite existing for over a decade, IUT has not been fully verified by peer review because it is so difficult to understand.
Related: 14-year-old known as ‘the human calculator’ breaks 6 math world records in 1 day
Enter Zhou. He has a background in mathematics, having studied graph theory as a doctoral candidate, but he ultimately left before completing his degree to work as a software engineer. However, this didn’t diminish his interest in pure math. He became obsessed with IUT, studying the theory in his spare time despite a busy workweek. Over the course of five months, he detailed several refinements and new applications in a paper, which he sent to both Mochizuki and Fesenko. The work, if correct, proves the majority of cases of generalized Fermat’s Last Theorem, using principles from IUT.
The mathematicians were impressed; Fesenko even offered to fly him out to Westlake University in China, where he works. Zhou accepted the offer and is currently working under Fesenko’s tutelage on furthering the proof. There are myriad potential applications of this work, ranging from cryptography and quantum computing to a better understanding of space-time — but only if they’re comprehensible to other researchers.
And parts of IUT still remain inscrutable. It will likely be years before someone cracks it fully, if at all. “Those papers are based on the research of predecessors; my work has only made some minor innovations and explorations, and I hope to contribute a modest amount to the relevant field,” Zhou said in a social media post.
