証明ってなんだ？【第295号】

🎙ニュースレターの音声版を配信しています (🍎Apple | 🎷Spotify | 🌳Amazon | 🌏Web)

いちです，おはようございます．

サッカー・ワールドカップ決勝戦と並行して，生成AIが数学の難題「ヤコビアン予想」を（3変数以上の場合に）否定的に証明していました．

ヤコビアン予想は87年間未解決だった証明問題で，肯定も否定もされてこなかったのですが，生成AIによって（3変数以上の場合は）解決されたのです．このことに多くの数学者たちが驚いています．その衝撃についてはヨビノリたくみさんのYouTube動画で観ていただくとよくわかると思います．

とりわけ衝撃が大きかったのは，ヤコビアン予想が正しくないことの証明つまりは「反例」が意外と身近にあったことでしょう．またワールドカップ決勝戦の「裏側」で証明が行われたことも，ニュースバリューを高めたかもしれません．

ところで，何気なく使っている「証明」とはどういうことか，今一度振り返っておきたいと思います．

📬 STEAM NEWSは国内外のSTEAM分野（科学・技術・工学・アート・数学）に関するニュースを面白く解説するニュースレターです．STEAM NEWSでは記事の無料配信を維持するためのご支援を受け付けております．詳しくはメール末尾を御覧ください．

• 数学的な証明

• 自然科学と形式科学の違い

• 数学的な証明の出発点

• AIが数学的な証明をできるようになった理由

• 反例

• 今週の書籍

• 今週のTED-Edトーク

• Q&A

• 一伍一什のはなし