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

関連記事

  • テックニュース

きなこの香ばしさと優しい味わいがアイスになった「明治 エッセル スーパーカップ きなこ」試食レビュー – GIGAZINE

2025年03月12日 22時00分 試食 明治の「スーパーカップ」シリーズ初のきなこフレーバー「明治 エッセル スーパーカップ きなこ」が、2025年3月3日(月)に登場しました。きなこの香ばしさを感じられるアイスに、きなこをイメージした食感のク

  • テックニュース

「地球低軌道に残された最も懸念されるスペースデブリ50個」最新版に日本から1個がランクイン、大半はロシア製 – GIGAZINE

スペースデブリが他のデブリと衝突することでデブリが増加し、連鎖的に衝突が発生していく状態は「ケスラーシンドローム」と呼ばれます。この状態を引き起こす懸念が最も高いスペースデブリ50個をデブリ専門家らがリスト化し、最新版をシドニーで開催された国際宇宙会議で発表しました。日

  • テックニュース

悪いニュースを見過ぎてメンタルが悪化するのを避ける方法を専門家がアドバイス – GIGAZINE

SNSなどで悲惨な戦争や事件、事故などを報じたニュースを追い続ける行為は「ドゥームスクローリング」と呼ばれ、悪いニュースを追い続けた結果メンタルに不調を来すこともあります。ニュースから必要な情報を得つつドゥームスクローリングを止め、自分の心身を守る方法について、オースト