26/04/21 21:06:05.48 GgJAWoSf.net
数学・ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ
URLﾘﾝｸ(www.asahi.com)
>数学の超難問「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
正論