望月新一が成功したこと
・ABC予想を導く有望な前提として予想3.12を発見したこと
望月新一が失敗したこと
・予想3.12を現在の数論の前提から証明すること