【数学するAI③】数学者の証明のサポートも─AIは数学者になれるのか? 数学・テクノロジー 2026年09月25日 有料記事 Newton Special AI時代の数学 この記事をシェア Newton 2026年5月号 発売日:2026年03月26日 価格:1,190円(税込) ページ数:144ページ 購入する この記事をご覧になるには会員登録またはログインしてください。 続きはログインしてお読みいただけます。 会員登録はこちら ログインはこちら この記事をシェア 数学者 証明支援システム Lean 形式化 IUT理論(宇宙際タイヒミュラー理論) エルデシュ問題