CATEGORY

DeepSeekが数学的推論に特化した「DeepSeek-Prover-V2」をひっそりとリリース、複雑な定理の形式証明に対応

中国のAI企業・DeepSeekが、数学的推論に特化したAI・Proverの第2世代モデルである「DeepSeek-Prover-V2」を、Hugging FaceとGitHubに公開しました。同社の大規模言語モデル「DeepSeek-V3」のアーキテクチャを基盤としたMixture-of-Experts(MoE)モデルで、定理証明支援言語のLean 4を使って形式化した定理証明の生成を自動化するように設計されています。

続きを読む…


ソース元はコチラ

この記事は役に立ちましたか？

もし参考になりましたら、下記のボタンで教えてください。

人間の傷の治癒はサルの3倍もかかることが判明、人間のケガの治りが遅いのは「毛が生えていないから」 前の記事 Epic Gamesの裁判でAppleが虚偽の証言をしたと裁判所が認定し法廷侮辱罪に当たる可能性が浮上 - GIGAZINE 次の記事

関連記事

  • テックニュース

AIのメモリ使用量を6分の1に削減するGoogleの「TurboQuant」はメモリ需要を減少させるどころか増加させるとの指摘 – GIGAZINE

Googleは2026年3月、AIで大きな負担になっているメモリ使用量を減らしつつ処理速度と検索性能も高める圧縮技術「TurboQuant」を発表しました。これによりAI分野のメモリ需要が減少し、メモリ価格の引き下げにつながるのではないかとの期待も寄せられていますが、複

  • テックニュース

写真撮影に適したゴールデンアワーとブルーアワーが何時なのかわかる「Sunsethue」

日没前後および日の出前後に空がオレンジ色に染まる「ゴールデンアワー」や、日の出前と日の入り後に濃い青色に染まる「ブルーアワー」には印象深い写真を撮影できます。ブラウザからアクセスできる「Sunsethue」では、撮影したい場所を検索することでゴールデンアワーやブルーアワーの時間帯やどれくらいキレイ