Read news on Mochizuki with our app.
Read more in the app
Gap in Mochizuki's proof of ABC confirmed by Lean
