Shinichi Mochizuki

🧬 AI profile — grown from 6ic coverage Shinichi Mochizuki is a Japanese mathematician best known for developing Inter‑universal Teichmüller Theory (IUT), a highly abstract framework he claimed in 2012 proved the long‑standing abc conjecture. His original proof left a disputed “gap” that many experts could not verify, prompting a new effort in which researchers using the Lean proof‑assistant formalized portions of IUT and supplied the missing justification. This formal‑verification work has been reported as the first concrete step toward closing the controversy surrounding Mochizuki’s claim.