AIがもたらす「数学」の転換点 – 日経クロステック（xTECH）

生成AIは数学研究の補助役にとどまらず、難問の証明という核心に迫り始めた。変化は、証明そのものに限らない。証明の形式化や既存証明のライブラリ化に …