ABC予想を証明した「望月理論」に数学界「どこが分からないのかさえ分からない」議論は停滞 [462275543]

ABC予想を証明した「望月理論」に数学界「どこが分からないのかさえ分からない」議論は停滞 [462275543]at POVERTY

ABC予想を証明した「望月理論」に数学界「どこが分からないのかさえ分からない」議論は停滞 [462275543] - 暇つぶし2ch42:安倍晋三🏺💥🔫
24/04/20 21:38:39.10 zBO4uecf0.net
信州大学かどっかにあるコンピュータの自動証明検算装置にかければええやん
自然言語の証明からそれ用の証明に直すと
4倍ぐらい長くなるらしいけど残りの人生かければいけるやろ

次ページ

続きを表示

1を表示