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検閲システムが漏えいしたデータセットにより明らかに – GIGAZINE

中国政府が大規模言語モデル(LLM)をベースとした高度な検閲システムを開発していることが、オンライン上に漏えいしたデータセットから明らかになりました。検閲対象は農村の貧困事情や不正警官、共産党の腐敗など多岐にわたり、従来の「天安門事件」や「台湾」などの禁句を超える範囲に

  • テックニュース

【大阪・関西万博】モンハンの世界に入ってリオレウスに投石できる没入型コンテンツ「モンスターハンター ブリッジ」を一足先に体験してきたよレポート – GIGAZINE

2025年03月23日 13時49分 取材 大阪・関西万博の大阪ヘルスケアパビリオンには、モンスターハンターの世界に入り込める体験型コンテンツ「モンスターハンター ブリッジ」が展示されます。モンスターハンター ブリッジは「ARデバイス」「360度シ

  • テックニュース

「毎日プレイしないと不利になる」「仲間意識を植え付ける」などゲーム中毒をわざと引き起こす悪質なダークパターンたち

スマートフォン向けゲームの中にはユーザーに課金を強いるための悪質なシステムを採用しているものも存在しています。そんなスマートフォン向けゲームにおけるダークパターンについてまとめたウェブサイトが「DarkPattern.games」です。続きを読む...ソース元はコチラ