したらばTOP ■掲示板に戻る■ 全部 1-100 最新50 | |

技術的特異点/シンギュラリティ

46：名無しさん：2025/05/06(火) 01:33:34
DeepSeekが数学的推論に特化した「DeepSeek-Prover-V2」をひっそりとリリース、複雑な定理の形式証明に対応
https://gigazine.net/news/20250501-deepseek-prover-v2/
新着レスの表示

名前： E-mail（省略可）：

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）
掲示板管理者へ連絡 無料レンタル掲示板