12/14発行「朝日新聞」にてZMC（ZEN数学センター）が紹介

2025年12月14日発行の「朝日新聞」にて、ZMC（ZEN Mathematics Center; ZEN数学センター）主催の国際研究集会「ZMCカンファレンス2025」の模様が紹介されました。

●2025/12/14　朝日新聞
AIは数学者になれるか　数学界に衝撃、証明検証ソフトLean登場
https://www.asahi.com/articles/ASTD333PNTD3DIFI004M.html