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

関連記事

  • テックニュース

猫背になると画面がぼやけるmacOSアプリ「Posturr」、MacのカメラとAppleのVisionフレームワークでユーザーをリアルタイムにモニタリングし正しい姿勢を促す – GIGAZINE

デスクワークでPC作業を行っていると、画面の高さと目の高さを合わせようとして、自然と猫背になってしまいがちという人は多いはず。オープンソースで開発される「Posturr」は、カメラでユーザーの姿勢をリアルタイムでモニタリングし、猫背を検知する

  • テックニュース

NVIDIAが音声から3Dアバターの顔アニメーションを生成する「Audio2Face」をオープンソース化、音声にぴったり合うリップシンクを実現 – GIGAZINE

NVIDIAが、音声に基づいて3Dアバターのリアルな顔アニメーションを生成するAI搭載ツール「Audio2Face」をオープンソース化しました。これにより、開発者はAudio2Faceとその基盤となるフレームワークを利用して、ゲームやアプリ向けのリアルな3Dキャラクター

  • テックニュース

自動運転車開発企業のWaymoが車内カメラデータを広告のパーソナライズや生成AIモデルのトレーニングに使用する可能性 – GIGAZINE

Googleの兄弟会社である自動運転車開発企業・Waymoは、人間の運転手なしでのタクシーサービスなどを展開しています。そんなWaymoがプライバシーポリシーを変更し、車内カメラのデータを広告のパーソナライズや生成AIのトレーニングに利用する

  • テックニュース

1万人以上の会員を抱える自殺推奨フォーラムの調査が初のオンライン安全法適用対象として開始、既に50人以上の死亡に関係している見込み – GIGAZINE

イギリス議会は2024年12月に、オンラインコンテンツを規制するための法律であるオンライン安全法(Online Safety Act)を施行しました。イギリスにおける通信や法律の規制、監督を行うイギリス放送通信庁(Ofcom)はオンライン安全法に基づく最初の調査として、