Inter-universal geometryとABC予想(シン応援スレ) 92 (440ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
430(1): 07/22(水)20:35 ID:T9Q165NM(2/3) AAS
>>429 タイポ訂正
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
↓
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開要請すべきだろう
補足
いまどき
Leanコードでの証明未達では
世間では通用しないことは
明白
査読を通って 掲載されてしまった論文だから
省1
439: 07/23(木)05:45 ID:/998dqFb(1/2) AAS
>>429-430
>望月＆星氏は 加藤氏のLANAプロジェクトに
>現状のLeanコードを公開要請すべきだろう
見せてもらっても無駄だろ
望月も星も答えをもってないんだから
>そして、問題点を明らかにして
>オープンな議論を惹起すべし
問題点は明らか
すでにオープンに議論されてる
>望月＆星氏は
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.323s*