20/04/22 08:19:58.26 kJX6pD4f.net
なるほどこういう例があったんですね
「1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。
この成果は「エンサイクロペディア・ブリタニカ」および「サイエンス」誌で好意的に取り上げられ、
シアンはAMS-MAAジョイントミーティングに招待される栄誉を得た[5]。
シアンの主張は幾何学的な手法でケプラー予想を証明したというものだった[6][7]。
しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで
「細部に目を向ければ、重要な言明の多くが容認できるような証明を欠いている」と述べた。
ヘイルズはシアンの仕事を詳細に批判し[8]、シアンはこれに反論した[9]。
現在ではシアンの証明は不完全なものだったと認められている[10]。」