En 2012 Shinichi Mochizuki propuso una demostración de más de 500 páginas, que fue desmentida en 2018 por otros matemáticos.