AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場 [AIの時代] – 朝日新聞

《前編》AIは数学者になれるか AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていた …