IntelとHugging Faceが開発した小型AIモデル「DeepMath」は、わずか40億パラメータで数学問題を高精度に解きます。smolagentsライブラリとコード実行の組み合わせにより、大型モデルに匹敵する性能を実現。軽量AIの可能性を徹底解説します。