数学は紙と鉛筆さえあればできる学問で
実験だの観察だのという手間を必要としない。
それだけに人類が一番最初に壁にぶち当たる学問で
今でも最前線は一部の優秀な数学者しか理解できないし
天才数学者が切り開かない限り新たな光景は見えてこない。

そんな中でAIが数学予想を証明したとして
人間が誰もそれが正しいと確認できなければ
それは果たして人類が証明したと言えるのだろうか？