>>82
http://www.math.columbia.edu/~woit/wordpress/?p=5104
見つけてきてやったぞ。
望月は(証明が正しければ)確かに強いABC予想を証明してるそうだ。
つまりFLTの別証明になる!