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

関連記事

  • テックニュース

無料でNetflix・Prime Video・Disney+などの広告・イントロをスキップしたり速度調整したり余計な要素や警告を非表示にできスマホでも動くFirefoxアドオン・Chrome拡張「Streaming enhanced」 – GIGAZINE

「Streaming enhanced」はさまざまなストリーミングサービスへより快適に視聴できる機能を追加してくれるブラウザ拡張機能です。実際に使用してどんな感じなのかを試してみました。GitHub - Dreamlinerm/Netflix-Prime-Auto-Ski

  • テックニュース

「乾燥状態を好むカビ」の広がりが博物館や美術館の脅威になっている

カビは美術館や博物館にとって悩みの種であり、多くの機関では湿度を抑えて乾燥状態を保つプロトコルによりカビの繁殖を防いでいます。ところが近年は、通常の対応策では防げない「乾燥状態を好むカビ」が広がっているとのことで、デンマークのフリーランスジャーナリストであるエリザベス・アン・ブラウン氏がその実体や

  • テックニュース

「ChatGPTヘルスケア」にプライベートな健康情報を入力すべきではないと専門家が指摘 – GIGAZINE

OpenAIは健康とウェルネスのために設計されたChatGPTの専用機能「ChatGPT ヘルスケア」を2026年1月7日に発表しました。ユーザーが安全かつパーソナライズされた環境で健康に関する質問を行えるよう設計されているとのことですが、健康関連の相談は非常にプライバシーに関わるものであり、A

  • テックニュース

Appleは2026年末までにアメリカで販売される年間6000万台以上のiPhoneをインドで製造する計画 – GIGAZINE

アメリカのドナルド・トランプ大統領は2025年4月、相手国の関税率や非関税障壁を踏まえた「相互関税」の導入を発表し、世界経済に大きな衝撃が走りました。そんな中、Appleはアメリカで販売される年間6000万台以上のiPhoneを、中国ではなくインドでの製造に切り替える計