遊客發表
從破解生命密碼、催生諾貝爾獎級成果的 AlphaFold，到為穀歌節省數億美元、優化千億級別計算資源的 AlphaEvolve，再到找到連頂尖數學家都未曾發現的新解法……這些顛覆性成果的背後，並非簡單的模型迭代，而是一套嚴謹到近乎苛刻的問題篩選法則
今天，Google DeepMind 科學負責人 Pushmeet Kohli 首次為国产AV蜜桃网站揭開這套內部心法：他們隻瞄準三類問題——具有變革性、公認 5 到 10 年內無人能解、但 DeepMind 卻有信心在短時間內攻克的不可能的任務
DeepMind 的科學框架：如何篩選並攻克變革性挑戰
在訪談的一開始，Pushmeet Kohli 便明確指出，DeepMind 的科學團隊並非尋求漸進式的改進，而是專注於那些能夠帶來變革性影響（transformative impact）的宏大目標。為了係統性地篩選這些項目，他們建立了一套獨特的框架和方法論，確保資源能被投入到最關鍵、最有可能產生顛覆性成果的領域。
首先，Kohli 將智能的能力劃分為三個層次，這為理解 DeepMind 的問題選擇提供了背景：第一層：普遍人類智能 這是大多數人都具備的基礎能力，例如圖像識別、閱讀手寫文字等。AI 在這個領域已經取得了長足的進步
第二層：專家級智能 這類智能需要經過專門的訓練和學習，例如醫生根據症狀進行診斷，或程序員根據需求編寫複雜的代碼
第三層：超人類智能 這是指那些即便是最聰明的人類專家也無法憑直覺或推理解決的問題。一個典型的例子就是蛋白質折疊預測：在 AlphaFold 出現之前，即使給一位頂尖生物學家一個蛋白質的氨基酸序列，他也無法直接推斷出其複雜的三維結構。解決這類問題往往需要耗費數年時間和數百萬美元的實驗成本
DeepMind 的科學項目正是瞄準了第三個層次——那些未知的領域，致力於構建能夠解決人類當前無法解決問題的智能係統。為了從眾多可能性中篩選出合適的項目，團隊遵循一個由三條核心原則構成的決策算法：
1.變革性與可行性 項目的首要標準是必須具備產生變革性影響的潛力，無論是科學、商業還是社會層麵。同時，它必須是可行的，即在科學規律的範疇內，而非像“時間旅行”那樣天馬行空的幻想。社區需要普遍認同該問題的解決將帶來巨大價值。2.公認的難度 項目必須具有極高的挑戰性，以至於行業內的普遍共識是，在未來 5 到 10 年內無人能夠解決它。如果一個問題在 6 個月內就可能被其他人攻克，那麽它就不屬於 DeepMind 科學團隊的目標範疇。他們專注於那些需要跨學科合作、頂尖 AI 研究、卓越工程能力以及龐大計算或數據資源才能解決的硬骨頭
3.顛覆共識的信心 盡管外界普遍認為該問題需要 5 到 10 年才能解決，但 DeepMind 團隊必須有充分的信心，相信自己能夠憑借獨特的方法，在預期時間的一半甚至三分之一內取得突破
隻有當一個潛在項目同時滿足這三個嚴苛的條件時，團隊才會正式立項。這個框架確保了 DeepMind 能夠持續地在最具挑戰性的科學前沿取得突破。基於這個框架，他們產出的成果也根據其主要影響被分為三類：
科學影響： AlphaFold 是最傑出的代表。它解決了困擾生物學界數十年的蛋白質結構預測問題，將過去耗時數年、耗資百萬美元的過程縮短到幾秒鍾和幾美分。自 2020 年發布以來，AlphaFold 已被全球科研人員廣泛應用，成為引用率最高的科學論文之一，其核心貢獻者 Demis Hassabis 和 John Jumper 也因此獲得了諾貝爾獎，其科學影響力不言而喻
商業影響： AlphaEvolve 是一個很好的例子。它是一個由 Gemini 驅動的代碼優化智能體，旨在解決那些頂尖計算機科學家也難以優化的複雜問題。例如，通過優化穀歌數據中心的作業調度算法，AlphaEvolve 成功節省了整個計算集群約 0.7% 的算力，這在穀歌的龐大規模下意味著巨大的成本節約。同時，它還顯著提升了 Gemini 模型自身的訓練速度。有趣的是，AlphaEvolve 在解決公開的數學難題時也表現出色，對 75% 的問題達到了當前最優水平，並對其中 20% 的問題找到了超越人類數學家的更優解
社會影響： SynthID 是一個致力於解決生成式 AI 風險的典範。隨著生成內容的質量越來越高，區分真實內容和 AI 合成內容變得愈發困難。SynthID 是一種先進的數字水印技術，它可以在 AI 生成的文本、圖像和視頻中嵌入一種人眼無法察覺但機器可以檢測的信號，且這種信號對常規的圖像編輯和轉換具有魯棒性。穀歌已將該技術應用於所有模態的生成式 AI 內容中，旨在維護信息生態係統的透明度和可信度，讓用戶能夠清晰地了解內容的來源
從專用模型到通用智能：IMO 金牌
國際數學奧林匹克（International Mathematical Olympiad, IMO）是中學生數學競賽的巔峰，其問題難度極高，考驗著深刻的邏輯推理和創造力。DeepMind 將其視為衡量和推動 AI 推理能力的重要標尺。訪談中，Pushmeet Kohli 詳細講述了團隊如何從構建專用模型，最終發展到利用通用模型在 IMO 競賽中取得金牌級水平的曆程，這不僅是一個技術上的巨大飛躍，也體現了 DeepMind 科學團隊與 Gemini 團隊之間緊密的合作模式
去年的成果是基於兩個高度專業化的模型：
AlphaGeometry： 顧名思義，這個模型專門用於解決幾何問題
AlphaProof： 這個模型更為複雜。它的核心是一個大型語言模型（LLM），但其工作方式並非直接給出答案。它首先會將自然語言描述的數學問題，轉換成一種名為 Lean 的領域特定形式化語言。Lean 語言的優勢在於，任何通過它生成的證明都是可以被機器驗證的，確保了結果的絕對正確性。AlphaProof 實質上是在所有可能的證明路徑空間中進行智能搜索，一旦找到一條通往結論的路徑，就意味著它生成了一個形式上完全正確的證明。
這種方法雖然強大，但依賴於專門的模型和形式化語言的轉換，使得整個係統較為複雜且不易普及。而今年的突破則標誌著一個根本性的轉變，其核心是 DeepThink，一個基於 Gemini 2.5 Pro 的模型。這一轉變的背後，是兩個團隊之間深度的技術轉移和協同創新。
從 AlphaProof 到 DeepThink 的技術轉移路徑非常關鍵：
1.利用專用模型生成高質量訓練數據： AlphaProof 擁有一個獨特的能力——它能生成海量的、經過機器驗證的、絕對正確的數學問題及其證明。團隊利用這個能力，讓 AlphaProof 解決了成千上萬甚至數百萬個數學問題
2.反哺通用模型： 這些由 AlphaProof 生成的“問題-正確證明”數據對，構成了一個規模龐大且質量極高的訓練數據集。這些數據隨後被用來訓練和微調下一代的 Gemini 模型。這就像是讓一個初出茅廬的學生（Gemini）學習一位數學大師（AlphaProof）的所有解題過程和思路，從而極大地提升了 Gemini 在數學和邏輯推理方麵的能力
這一策略帶來了幾個革命性的成果：
從專用走向通用： 最新的 IMO 金牌級成果不再依賴於 AlphaGeometry 和 AlphaProof 這類專用模型。所有的解題能力都被成功地整合進了 DeepThink 這一通用的 Gemini 模型中。這意味著 AI 的頂尖數學能力不再是孤立的，而是成為了一個更廣泛智能係統的一部分
實現自然語言交互： 新係統不再需要將問題翻譯成 Lean 這樣的形式化語言。用戶可以直接用自然語言（如英語）輸入 IMO 級別的複雜數學題，模型就能理解並直接給出解答過程。這極大地降低了使用門檻，使其更接近人類的自然思考和交流方式
當被問及這種強大的數學能力是否能泛化到其他領域時，Kohli 坦言這本身就是一個前沿的研究問題，目前尚無定論。團隊正在通過嚴謹的消融實驗（ablation studies）來係統性地研究，即通過在訓練數據中添加或移除這些數學證明數據，來觀察模型在其他非數學任務上的表現變化，從而以經驗性的方式來探索數學推理能力與其他通用智能之間的關聯
從 AlphaFold 數據庫到 AI 協同科學家
Pushmeet Kohli 強調，DeepMind 的使命不僅在於實現科學突破，更在於將這些突破性的能力交到全世界的科學家手中，從而加速整個人類科學的進步。AI Co-scientist（AI 協同科學家）則代表了這一理念的未來方向。
其中最成功的案例就是 AlphaFold。團隊並沒有將這個強大的蛋白質結構預測係統保留為內部工具，而是采取了多種方式使其普惠全球：
開放數據庫： 他們利用 AlphaFold 預測了地球上幾乎所有已知蛋白質的結構，並將這些超過 2 億個預測結構全部免費公開在一個名為 AlphaFold Database 的數據庫中。
賦能全球研究者： 這一舉措徹底改變了結構生物學的研究範式。正如 Kohli 所描述的，一位在巴西或非洲研究被忽視的熱帶病的研究者，過去可能因為缺乏資金和設備而無法獲得其研究靶點蛋白質的結構。現在，他/她隻需訪問一個網頁，輸入蛋白質序列，點擊按鈕，就能在幾秒鍾內獲得高質量的結構預測。這極大地拉平了全球科研資源的差距
提供 API 接口： 除了數據庫，他們還通過 API 的形式讓開發者和研究機構能將 AlphaFold 的能力集成到自己的研究流程中。
同樣的理念也體現在其他項目中，例如 AlphaGenome，團隊為其開發了定製的用戶界麵（UI），讓研究者可以方便地探索人類基因組中的變異如何影響基因功能。這些努力的核心思想是，將複雜的 AI 模型封裝成易於使用的工具，讓非 AI 領域的專家也能從中受益。
展望未來，AI Co-scientist 項目將這種理念推向了一個新的高度。它不再僅僅是一個解決特定問題的工具，而是一個模擬並增強整個科學研究過程的智能係統
多智能體協作係統： AI Co-scientist 的核心是一個多智能體（multi-agent）係統，其中 Gemini 模型扮演了科學研究生態中的多個不同角色。它既是“假設生成者（hypothesis generator）”，負責提出新穎的科學想法；又是“審稿人（reviewer）”和“批判者（critique）”，負責嚴格地審視和挑戰這些想法的邏輯和可行性。係統內部會進行想法的生成、批判、排序和迭代，模擬了一個高效運轉的科研團隊
驚人的洞察力： 這種內部的思想碰撞機製讓係統能夠產生出乎意料的深刻見解。Kohli 分享了一個軼事：團隊曾邀請倫敦帝國理工學院的一位教授提供一個他所在領域的前沿難題。當團隊將 AI Co-scientist 生成的幾條核心假設反饋給這位教授時，他驚愕地發現，其中排名第一的假設，正是他自己的團隊耗費數年心血研究、並且剛剛投稿到頂級期刊的最新成果。他一度懷疑自己的論文被泄露了。這個故事有力地證明了 AI Co-scientist 已經能夠獨立地思考，並觸及到人類科學研究的最前沿
AI Co-scientist 的終極願景：在未來，當穀歌宣布一項由 AI 促成的重大科學突破時，實現這一突破的將不再是傳統的頂尖科研機構的博士團隊，而可能是世界某個角落裏的一位普通人，他僅僅因為擁有強大的 AI 工具作為夥伴，便得以釋放其創造力，做出了諾貝爾獎級別的貢獻
未來展望：邁向“科學 API”的時代
在訪談的最後，話題轉向了對未來的展望，即国产AV蜜桃网站是否會最終擁有一個“科學的 API（API for science）”。這個概念的背後，是 AI 正在逐步降低各領域專業技能門檻的大趨勢。正如今天編寫軟件已經比十年前容易得多，未來從事高水平的科學研究是否也能變得更加普及？
Pushmeet Kohli 對此表示了肯定的看法，但他同時指出了實現這一願景的核心挑戰——“歸約問題（the specification question）”
無論是編程還是科學研究，最困難的部分之一往往不是執行，而是清晰、準確地定義問題本身。一個程序應該做什麽？一個科學實驗的目標是什麽？這背後需要深刻的洞察力和嚴謹的邏輯
*因此，通往“科學 API”的道路，關鍵在於構建能夠讓用戶（無論是開發者還是科學家）與 AGI（通用人工智能）進行高效、自然溝通的交互界麵。国产AV蜜桃网站需要讓 AI 更好地理解人類模糊、高層次的意圖，並將其轉化為精確、可執行的步驟。
這不僅是一個技術問題，也是一個產品和設計問題。如何設計接口，如何收集和利用用戶反饋，如何建立一個從人類靈感到 AGI 執行的無縫溝通渠道，將是未來幾年 AI 社區需要重點解決的問題。這恰恰凸顯了像主持人 Logan Kilpatrick 這樣的開發者關係專家的重要性，他們是連接 AI 技術與實際使用者之間的橋梁
總而言之，從 AlphaFold 到 AI Co-scientist，再到對未來“科學 API”的構想，DeepMind 正在係統性地利用 AI 解鎖科學的邊界，並致力於將這些強大的能力賦予每一個人，最終目標是構建一個人類智慧與機器智能協同共進，共同解決人類麵臨的最重大挑戰的新時代
{loop type="link" row=1 }{$vo.title}