DeepSeek、数学的定理を証明するAI「DeepSeek-Prover-V2」を公開ーーLean 4形式でSOTA性能を達成 – Ledge.ai 2025年5月8日2025年7月18日ai AI・人工知能関連のニュースやトレンドを高頻度で配信!最新ニュースやインタビュー、イベントレポートなどAIに関するさまざまな情報を独自の切り口で掲載