【数学】超難問「幾何学的ラングランズ予想」を証明か？ 計1000ページ以上の証明論文を米研究者らが公開 [すらいむ★]

[44 名無しのひみつ 2024/05/25(土) 22:38:14.96 ID:bbFDIkH/]

数学の証明って論理的な手続きなんだからそれこそコンピュータで整合性が取れてるかどうかってわかったりしないの？