科学・技術

ABC予想の望月氏の証明におけるギャップがLeanで確認される

14 pointsby ogogmad2026年7月19日1 コメント

要約

数学界で長年注目されているABC予想について、望月新一氏が提唱した証明にギャップが存在することが、形式検証システムLeanを用いて確認されました。この発見は、数学の分野における証明の厳密性と検証の重要性を示唆しています。