AIと数学の証明チャレンジ AIと数学の証明チャレンジ 苦手なんだ。 AIはたくさん努力しても、形式的な証明が 機械学習 AIと数学の証明：新しいアプローチ AIを使って難しい数学の問題の正式な証明を書くと、新しい道が見えてくるよ。 Roozbeh Yousefzadeh, Xuenan Cao May 5, 2025 ― 1 分で読む