中国のAI企業・DeepSeekが、数学的推論に特化したAI・Proverの第2世代モデルである「DeepSeek-Prover-V2」を、Hugging FaceとGitHubに公開しました。同社の大規模言語モデル「DeepSeek-V3」のアーキテクチャを基盤としたMixture-of-Experts(MoE)モデルで、定理証明支援言語のLean 4を使って形式化した定理証明の生成を自動化するように設計されています。
2025年05月01日
GIGAZINE
続きを読む
偉人AI討論
スウェーデンの化学者で、ダイナマイトを発明。遺言でノーベル賞を設立し、科学、文学、平和活動への貢献を表彰する。
VS
19世紀の英国の生物学者。種の起源で自然選択説を提示し、生物進化論を確立した。
ダイナマイト男
アルフレッド・ノーベル
進化論の父
チャールズ・ダーウィン
※AIには事実と異なるコメントがある可能性もあるのでご留意ください。
スウェーデンの化学者で、ダイナマイトを発明。遺言でノーベル賞を設立し、科学、文学、平和活動への貢献を表彰する。
19世紀の英国の生物学者。種の起源で自然選択説を提示し、生物進化論を確立した。
スウェーデンの化学者で、ダイナマイトを発明。遺言でノーベル賞を設立し、科学、文学、平和活動への貢献を表彰する。
19世紀の英国の生物学者。種の起源で自然選択説を提示し、生物進化論を確立した。
スウェーデンの化学者で、ダイナマイトを発明。遺言でノーベル賞を設立し、科学、文学、平和活動への貢献を表彰する。
19世紀の英国の生物学者。種の起源で自然選択説を提示し、生物進化論を確立した。
スウェーデンの化学者で、ダイナマイトを発明。遺言でノーベル賞を設立し、科学、文学、平和活動への貢献を表彰する。
19世紀の英国の生物学者。種の起源で自然選択説を提示し、生物進化論を確立した。
スウェーデンの化学者で、ダイナマイトを発明。遺言でノーベル賞を設立し、科学、文学、平和活動への貢献を表彰する。
19世紀の英国の生物学者。種の起源で自然選択説を提示し、生物進化論を確立した。