「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
581(1): 2023/12/21(木)22:54 ID:ABgxLQki(1) AAS
・『機械的に検証可能な形に変換』は、証明した本人でなくとも、だれでも出来るのが本当だろう
・しかし、問題はマンパワーと予算で、そういう予算をだれか取って、実行すればいいだろう
・実際、まだまだ『機械的に検証』された定理は数少ない
・もっとも、ChatGpt30くらいのレベルになれば、AI検証できるかも
（結構早くそういう時代が来るかもね）
584: 2023/12/22(金)09:32 ID:79/AVPdI(1/2) AAS
>>581
証明にギャップがあるので望月以外には機械的に検証可能な形に変換ができない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s