Inter-universal geometryとABC予想(シン応援スレ) 92at MATHInter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト250:１３２人目の素数さん 26/07/17 20:55:13.49 zMIRi+X7.net >>246 >キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない >ということだったな まあ、ハッキリ言って 現状の証明にギャップありってことだろう 問題は、その証明ギャップを埋められるか否かだ 頑張って、証明ギャップ埋めをやってほしい 頑張れ、望月・星！ 251:１３２人目の素数さん 26/07/17 20:59:47.03 zMIRi+X7.net >>249 >ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね ケドラヤが、それ否定していた ショルツ指摘にダメだししていた >「問題は3.12じゃなああい、3.11.5だああ」 >とか小細工かましてフカしてるあたり もう一味加えないと ギャップは埋まらないと見た >ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから... いやいや 今からでも ギャップを埋められるか否か 問題は、その一点じゃね？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch