大定理の証明に失敗した一流数学者は沢山いる
大抵は本人がやっちゃいましたで終わる話ですね

検証のためにたくさんポスドク雇って予算使って
未検証のまま一般向け啓蒙書まで友人が書いて売りました〜
ってのは数学ではあまり聞かないね

2015以降はむしろチームを縮小して少人数で時間かけたら良かったと
今になってみると思ってしまう