Inter-universal geometry と ABC 予想 46

Inter-universal geometry と ABC 予想 46at MATH

Inter-universal geometry と ABC 予想 46 - 暇つぶし2ch95:１３２人目の素数さん
20/04/04 20:40:47.67 21FY0DYB.net
>>76
>ヘールズ教授自らが証明支援ツールで形式的証明を目指す｢Flyspeckプロジェクト｣を発表
>ヘールズ教授自ら ←
ここ重要ね
そもそも難解な論文というだけで
論理の飛躍が指摘された訳ではないから事情が違うよ

次ページ