「ABC予想」の証明理論、欠陥見つけたら1.4億円

[0194 １３２人目の素数さん 2023/07/12(水) 20:23:03.12 ID:awuUR6ri]

ショルツェでなくて、コンピューター数学の人が査読論文で、100万ドルに挑戦する？
コンピューターが、「本質的は欠陥がここ、ここだよ」って。