暇つぶし2chat MATH

- 暇つぶし2ch936:宮岡洋一 (抜粋) 1977年に発表した論文でボゴモロフ・宮岡・ヤウの不等式を証明した(Miyaoka 1977)。 1988年、フェルマーの最終定理の証明にこぎ着けたと報じられたが、後に不備があることが判明し、完全な証明には至らなかった(Gleick 1988)。