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

2026年01月02日 10時00分 メモ 除草剤「パラコート」は日本では毒物に指定されていますが、アメリカではパラコートの使用が続いており、「パラコートの使用が原因でパーキンソン病を発症した」という訴訟が何件も提起されています。その実態について、

  • テックニュース

ついにアイスランドで初めて「蚊」の存在が報告されてしまう、蚊が存在しないのは南極だけに

世界のさまざまな人口データを集計して地図上に表示する世界人口レビューの「蚊のいない国2025」では、世界で唯一アイスランドだけが表示されていました。しかし2025年10月20日、アイスランド自然史研究所は、国内で初めて蚊が発見されたことを発表しました。続きを読む...ソース元はコチラ

  • テックニュース

Google Workspace CLIリリース、Googleドライブ・Gmail・Googleスプレッドシート・Googleドキュメントなどを1つのコマンドラインツールで一括管理可能＆AIエージェントのスキルもあり – GIGAZINE

2026年03月06日 12時17分 AI Google Workspaceの主要なサービスを網羅的に管理できる新たなコマンドラインツール「Google Workspace CLI(gws)」が2026年3月6日にリリースされました。このツールは、