05/06/2026
引用:数学の証明においては「解けた」と発表があっても、別の数学者がその証明内容を検証し、「正しい」というお墨付きをもらうまでは疑って見られることが多い〜今回の証明は「正しい」ものとして、発表直後から名だたる数学者からの称賛が相次いだ。なぜこうした反応が起きたのか。背景にあるのが、今の数学界を変える可能性がある「証明の形式化」〜
AI(人工知能)が数学の未解決証明問題を解決した。この快挙は、AIの進歩のみによってもたらされたものではない。鍵を握るのが数学の「形式化」だ。数学者である加藤文元氏へのインタビューから、数学界が迎える変.....