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

関連記事

  • テックニュース

21世紀末までに地球が3度以上温暖化すると平均的な人々は40％も貧しくなるという研究結果 – GIGAZINE

これまで、気候変動に伴う地球温暖化が世界経済に及ぼす影響についてさまざまな研究が行われてきましたが、従来の研究には「国民経済がその国の天候にのみ影響を受けると仮定する」という根本的な誤りがあったとのこと。気候変動の世界的な影響をモデル化した新たな研究では、2100年まで

  • テックニュース

日光による紫外線はガラス窓越しでも肌にダメージを与えるのか？

電車やバスに乗る時、日当たりのいい窓際の席を選ぶ人もいれば、逆に日焼けしないように窓際を避ける人もいます。ガラス窓越しに日光を浴びた時、皮膚に対してどれだけのダメージがあるのかについて、ウーロンゴン大学医学部のテレサ・ラーキン准教授が解説しています。続きを読む...Source lin

  • テックニュース

イーロン・マスク率いるDOGEが6000万行ものCOBOLコードを含む社会保障局のシステムをコード生成AIでわずか数カ月の内に移行させようとしており危険性が指摘されている – GIGAZINE

2025年04月01日 07時00分 メモ by Gage Skidmore海外ニュースメディア・WIREDが、イーロン・マスク氏の率いる政府効率化部門(DOGE)がアメリカ社会保障局(SSA)のコンピューターシステムを、数ヶ月という短期間でCOB

  • テックニュース

Appleがイギリスの「バックドア作成命令」について裁判所へ異議申し立て – GIGAZINE

イギリス政府セキュリティ当局がAppleに対して、高度に暗号化されたiCloudストレージにバックドアアクセスを設けるように要求しました。これについて、要求を拒否するAppleが「イギリス政府当局の要求は違法である」として、イギリス法執行機関への苦情を審査する独立司法機

  • テックニュース

AI生成動画に「心臓の鼓動」が反映されるようになりディープフェイクの検出が一層困難に – GIGAZINE

Googleが人の声も付けられる動画生成AI「Veo 3」を発表するなど動画に関連するAI技術は日々進歩しており、人の目ではもはやAI製と見抜けられないほど精度の高い動画が出回り始めています。研究者らはAI製の動画を検出するために、動画に映った人物の「心臓の鼓動」を手が

  • テックニュース

ゲーマーのメンタルヘルスや性格に関する4つの心理プロファイルが判明 – GIGAZINE

ゲーマーがゲームをプレイする方法は人それぞれで、友だちと一緒にわいわいパーティーゲームを楽しむ人もいれば、自分の限界に挑戦するやりこみプレイが好きな人もいます。そんなゲーマーのメンタルヘルスや性格にまつわる4つの類型が、調査により判明しました。Profiling gam