from the lord-of-the-proof dept.
submeta writes "Shinichi Mochizuki of Kyoto University has released a paper which claims to prove the decades-old ABC conjecture, which involves the relationship between prime numbers, addition, and multiplication. His solution involves thinking of numbers not as members of sets (the standard interpretation), but instead as objects which exist in 'new, conceptual universes.' As one would expect, the proof is extremely dense and difficult to understand, even for experts in the field, so it may take a while to verify. However, Mochizuki has a strong reputation, so this is likely to get attention. Proof of the conjecture could potentially lead to a revolution in number theory, including a greatly simplified proof of Fermat's Last Theorem."
PL/I -- "the fatal disease" -- belongs more to the problem set than to the
-- Edsger W. Dijkstra, SIGPLAN Notices, Volume 17, Number 5