【数学】ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ [すらいむ★]at SCIENCEPLUS【数学】ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ [すらいむ★] - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト161:名無しのひみつ 26/05/26 17:21:20.39 AA1mxJDj.net 要するに、形式化に手こずってるって事？ 162:名無しのひみつ 26/05/26 18:11:29.40 FWkx+wJI.net いや証明が間違ってたからグズグズしてるだけ 形式化なんてあそこまでヒューマンリソース注ぎ込んだらもう終わってるって 163:名無しのひみつ 26/05/26 18:27:23.38 saGjBzkj.net LEANは過去の数学に基づいて作られた検証ツール LEANの枠組みを超えるような新数学理論だってあり得るだろう それが画期的で新しい物であればあるほど 164:名無しのひみつ 26/05/26 18:49:07.19 HDdDuoyG.net IUTはそういうものではないんだよ 望月も頭の切り替えが必要なだけで簡単だと言ってるだろ 165:名無しのひみつ 26/05/26 21:36:00.25 GBfEmR7b.net >>163 ゲラゲラ ほんとバカチョンの言い訳は終わってるわ 166:名無しのひみつ 26/05/28 16:07:53.44 NB/plnTP.net どっかで見た手口 33 名無しさん＠実況は禁止ですよ 警備員[Lv.3] (ﾜｯﾁｮｲ 1347-h4v0) 2026/05/27(水) 15:02:09.76 ID:KVhGBc830 今日Xのタイムラインでやたらとニコニコ動画を褒めまくってる（よいしょ）ポストが流れてるんだけど、ニコニコを褒め称えるバイトでもあるのかな 今までの運営を全然しらない人がポストしてるようなのばっかり https://egg.5ch.io/test/read.cgi/streaming/1779421814/33 40 名無しさん＠実況は禁止ですよ 警備員[Lv.0][新芽] (ﾜｯﾁｮｲ ab0c-S3fo) 2026/05/28(木) 14:05:00.35 ID:w+lIvLur0 >>33 まじなんなんだろうなあれ、最近流れてきてきっしょいわ だれか言ってやれよ、糞運営は相変わらずだと https://egg.5ch.io/test/read.cgi/streaming/1779421814/40 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch