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 次の記事

関連記事

  • テックニュース

フロム・ソフトウェアの対戦ロボットゲーム「クロムハウンズ」がエミュレーターで15年ぶりにオンラインに、無職になってクロムハウンズ復活に全力投球した制作者が裏話を語る – GIGAZINE

ロボットアクションシューティングゲームの「クロムハウンズ」は、2022年のGame of the Yearを受賞した「ELDEN RING(エルデンリング)」などで知られるフロム・ソフトウェアが開発し、2006年6月29日に発売したXbox 360用ゲームです。2010

  • テックニュース

動画のライセンス費用が高すぎて放棄されたフィットネスプラットフォームの復活を目指すオープンソースプロジェクト「Workout.cool」

フィットネスプラットフォームを開発するオープンソースプロジェクト「Workout.cool」は、かつて動画ライセンス費用の問題で放棄されたプラットフォーム「Workout.lol」を復活させるために作られました。Workout.coolの設立者が、ソーシャルニュースサイトのHacker Newsで