Link preview
LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory
On Friday, July 17, 2026, the ZEN Mathematics Center (ZMC) at ZEN University will hold the “LANA Project Interim Report 2026,” an interim presentation regard... YouTube · youtube.com
In today's press conference, we explained our efforts over the last two years which resulted in the following conclusion: The way the argument from Theorem 3.11 to Corollary 3.12 is written in the IUT papers is unformalizable. But since Mochizuki's explanation of this point has
Comments