AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューターが挑み始めている。 東京・銀座の 歌舞伎 座タワー。7月上旬、12階の一室に数学者30人が集まっていた。東京大や京都大の准教授らや、米国や カナダ で活躍する数学者の姿もあった。