中国のAI研究所DeepSeekが、数学の証明や定理問題を解くためのAIモデル「Prover」を静かに最新版V2へアップデートしました。最新版とその圧縮版はAI開発プラットフォームHugging Faceに公開されており、より高度な課題への対応が期待されています。AIによる数理的な証明分野の進化が、今後ますます加速しそうです。