「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
581(1): 2023/12/21(木)22:54 ID:ABgxLQki(1) AAS
・『機械的に検証可能な形に変換』は、証明した本人でなくとも、だれでも出来るのが本当だろう
・しかし、問題はマンパワーと予算で、そういう予算をだれか取って、実行すればいいだろう
・実際、まだまだ『機械的に検証』された定理は数少ない
・もっとも、ChatGpt30くらいのレベルになれば、AI検証できるかも
（結構早くそういう時代が来るかもね）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.379s*