tech 概念解析
AlphaProof:DeepMind 用神經符號 AI 解開奧林匹克數學題
DeepMind 的 AlphaProof 結合語言模型與強化學習,在 2024 年國際數學奧林匹克中解出 6 題中的 4 題,達到銀牌水準——這是 AI 第一次在形式化數學推理上接近頂尖人類選手。
Tag
5 篇文章
DeepMind 的 AlphaProof 結合語言模型與強化學習,在 2024 年國際數學奧林匹克中解出 6 題中的 4 題,達到銀牌水準——這是 AI 第一次在形式化數學推理上接近頂尖人類選手。
AlphaFold 的蛋白質結構預測成就已獲 2024 年諾貝爾化學獎肯定,其背後的多序列比對 + Transformer 架構如何改寫了結構生物學的規則。
AlphaFold 在 2020 年以接近實驗測定精度解決了蛋白質折疊問題,2024 年為 Demis Hassabis 和 John Jumper 贏得諾貝爾化學獎。其資料庫現已包含 2 億+ 個蛋白質結構,正在加速藥物開發和材料科學研究。
Demis Hassabis 對『硬題』的偏好不是個人風格,而是一種研究策略:選那些一旦解開就能帶出大量下游價值的問題,而不是選容易出論文的問題。這個策略是 DeepMind 持續在科學前沿突破的核心原因。
DeepMind 在 Demis Hassabis 帶領下的核心策略是:用遊戲環境訓練出的泛化推理能力,解決科學上最難的現實問題。AlphaFold、AlphaGeometry、AlphaDev、GNoME 是這個策略最具體的成果。