>>690
>IUTが正しい・正しいかもしれないことを前提に作業するLANAも狂ってるよな
>天才に忖度して論文受理して検証する体制自体が間違ってるわ
>論文を書いたやつが責任もって正しいことを証明しなくてもよくなるって
>天才でも権力者でも過保護に忖度される扱いは同じなんだな日本て

1本の数学査読掲載された論文がないこと
丸わかりだね

１）数学で 人が出来ることは 論文を投稿すること
２）掲載するしないは、雑誌側が決める
３）雑誌側は、複数の査読者にレフェリーを依頼する（レフェリーは無償らしい）
４）査読者の回答をまって、掲載するしないを決める

ここまでで、だれも責任を問われない
数学ではね

投稿された論文なり理論が 正しいか否かは
別のメカニズムで決まる

大体は、多くの数学者が「正しい」と認めた理論なり論文が正しい
多くの数学者が「正しくない」と認めた理論なり論文は正しくない

さて、近年 論文が長文化し、かつ 専門的になりすぎて
正しいか 正しくないか その区別が難しくなってきたのです

そこで、コンピュータ証明がつかえないか？ となった
いま ここ