レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。

技術的特異点/シンギュラリティ【総合】避難所 34

58：名無しさん (ｵｯﾍﾟｹ 1754-1952)：2025/05/05(月) 19:57:40 ID:eJL4dkY.Sr: DeepSeekが数学的推論に特化した「DeepSeek-Prover-V2」をひっそりとリリース、複雑な定理の形式証明に対応
https://gigazine.net/news/20250501-deepseek-prover-v2/

掲示板管理者へ連絡無料レンタル掲示板