Michael F. Atiyahがリーマン予想を証明しました。

Michael F. Atiyahがリーマン予想を証明しました。at MATH

Michael F. Atiyahがリーマン予想を証明しました。 - 暇つぶし2ch294:１３２人目の素数さん
18/10/03 12:51:10.78 2owdqVYX.net
>>282
数学の論文で論理式の有限列であるような証明なんて、コンピューターによる自動証明ぐらいだろう。