ブックマーク / integers.hatenablog.com (1)

  • フェルマーの大定理の短証明を査読してみた - INTEGERS

    アマチュアの方などが、第一級の数学者が長年取り組んでも解決できない問題(フェルマーの大定理*1の初等証明、コラッツ予想、リーマン予想、ふたご素数予想、P=NP問題、etc.)を解いたと主張して論文やとして発表されることは、ありふれたことのように思います。 あなたがプロの数学研究者だとしましょう。 あなたはそれらの原稿を読みますか? 普通は読まないと思います。なぜなら、 「読まない段階では、その原稿が正しい可能性がある」 ということは、それはそうなのですが、 「その原稿が間違っている可能性の方が圧倒的に大きい」 ということの方が、読むかどうかを検討する側には重大だからです。 定理証明支援系などが更に発展して、近い将来には数学の正しさを効率よく客観的に判定できるようになるかもしれません。 ですが、今のところは、数学の原稿を査読するにはそれなりの時間がかかります。 時間をかけて読んでも間違って

    フェルマーの大定理の短証明を査読してみた - INTEGERS
    sisopt
    sisopt 2023/11/11
    ナイスな記事です。次はMichael Atiyahのリーマン予想証明論文とか査読してもらえたりするとすごく嬉しいです。
  • 1