2026年: AI数学ソルバーで学習と問題解決を進化させよう