【悲報】検証チーム「ギャップの可能性もある」at MATH【悲報】検証チーム「ギャップの可能性もある」 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 26/04/21 21:06:05.48 GgJAWoSf.net 数学・ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ https://www.asahi.com/sp/articles/ASV3V3VPBV3VDIFI00NM.html >数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。 2:１３２人目の素数さん 26/04/22 11:22:16.96 BuskvW/w.net そもそも証明の形式化は証明を読んで理解するよりも大変なのに、世界の数論幾何の専門家がお手上げのものを形式化できるわけないじゃん 3:１３２人目の素数さん 26/05/05 06:11:57.94 kcfPwpMU.net 正論 最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch