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

関連記事

  • テックニュース

Microsoftは国防総省のシステム保守に中国人エンジニアを投入しており機密性の高いデータがハッキングの危機にさらされている

アメリカと中国の政治的・経済的対立が深まる中で、アメリカ政府は中国政府の指示を受けた中国系ハッカーの攻撃を警戒しています。ところが、Microsoftは「digital escorts(デジタル・エスコート)」という政府内でもあまり知られていないプログラムに基づき、国防総省のシステム保守に中国人エ

  • テックニュース

マイナス15度の極寒環境でも活発に動く生命体が北極の氷から発見される

北極圏で氷床コアを採取した際、氷の中に単細胞性の藻類である珪藻類が含まれていることがあります。これまで、北極の氷に入っている珪藻類は休眠状態にあると考えられてきましたが、実は珪藻類はマイナス15度の極寒環境でも活発に動いていることが判明しました。続きを読む...ソース元はコチラ

  • テックニュース

Samsung・SK Hynix・TSMCに与えた「中国へ半導体製造技術を輸出する権利」の取り消しを検討 – GIGAZINE

SamsungやSK Hynix、TSMCといった半導体メーカーは中国にある工場で半導体の製造を行うにあたり、「アメリカの半導体製造技術を中国へ輸出する権利」を得て工場で当該技術を搭載した機械を使用しているのですが、商務省関係者が、この権利の取り消しを検討していることが