【AI無双】数学の定理証明AI「DeepSeek-Prover-V2」爆誕！もう数学者いらねえんじゃね？ｗｗｗ2025-05-13|タグ: AI定理証明DeepSeek数学|4 PV|コメント: 0DeepSeek AIが数学の定理を証明するLLM『DeepSeek-Prover-V2』を開発！自己生成データと再帰探索で驚異の性能。数学界激震、人類の知能を超えたか！？(；ﾟДﾟ)続きを読む →