2026 年菲爾茲獎得主 Jacob Tsimerman 宣佈加入 OpenAI
重點摘要
首頁 > IT資訊>人物 2026 年菲爾茲獎得主 Jacob Tsimerman 宣佈加入 OpenAI 2026/7/24 11:01:52 來源：IT之家 作者：汪淼 責編：汪淼 評論： IT之家 7 月 24 日消息，最新獲得國際數學界最高榮譽菲爾茲獎的得主 Jacob Tsimerman 宣佈加入 OpenAI。
2026 年菲爾茲獎得主 Jacob Tsimerman 宣佈加入 OpenAI
國際數學界最高榮譽菲爾茲獎於昨日揭曉，加拿大數學家 Jacob Tsimerman 成為 2026 年獲獎者之一。然而，獲獎僅一天後，Tsimerman 便在記者會上投下震撼彈：他將「轉向 AI 安全」研究，並即刻加入 OpenAI。這項跨界決定不僅讓學術圈與科技業為之側目，也標誌著頂尖數學人才加速流向人工智慧安全領域。 由國際數學聯盟評選的菲爾茲獎每四年頒發一次，僅授予未滿 40 歲的傑出數學家，素有「數學界諾貝爾獎」之稱。Tsimerman 現任教於多倫多大學，專攻算術幾何與模型論的交叉領域。評委會指出，他之所以獲獎，是因為「將 o-極小性（o-minimality）重新定義為算術與復代數幾何的基本方法」，並藉此證明了多個懸宕數十年的核心猜想。 Tsimerman 的研究成果涵蓋兩項里程碑式的證明。其一是格里菲斯關於週期圖像代數性的猜想（Griffiths conjecture on algebraicity of period images），該猜想涉及代數簇週期映射的性質；其二是西格爾模簇的安德烈–奧爾特猜想（André–Oort conjecture for Siegel modular varieties），這類問題關乎模空間中的特殊子簇分類。兩項工作均依賴於 o-極小結構所提供的嚴謹幾何框架，展現了模型論與代數幾何結合的驚人威力。 在昨日獲獎後的記者會上，Tsimerman 並未按照慣例發表純數學演講，反而宣布他對 AI 風險的深刻憂慮促使了生涯轉向。他表示：「數學訓練教會我如何建立無漏洞的論證，這種嚴謹性正是當前 AI 系統最欠缺的。我想用證明數學猜想的相同態度，去面對 AI 對齊與安全性問題。」隨後，OpenAI 正式證實 Tsimerman 已加入該公司，職位為安全研究員。 OpenAI 首席研究官 Mark Chen 率先在社交平台發出歡迎聲明：「Jacob 的加入象徵 OpenAI 對基礎科學方法的重視。他有能力處理極度抽象的數學結構，這將對我們建構可驗證的 AI 行為模型至關重要。」前微軟副總裁、現任 OpenAI 研究員 Sebastien Bubeck 也補充道，Tsimerman 在 o-極小性方面的專長與目前深度學習理論中的幾何方法存在驚人連結，他期待雙方在數學與機器學習的介面上展開合作。 數學背景究竟如何服務於 AI 安全？專家指出，現代深度學習模型多以黑箱方式運作，缺乏行為保證；而數學中的形式證明與邏輯推演可以為模型提供可證明的安全邊界。Tsimerman 過去的工作已證明他擅長在多維複雜空間中鑑別代數結構，這種能力在處理神經網路的決策邊界、對抗性防禦以及可解釋性問題時，擁有極高的應用潛力。 Tsimerman 的轉型並非孤立事件。近年來，包括 Geoffrey Hinton、Yoshua Bengio 在內的多位 AI 先驅均反覆強調 AI 安全的迫切性，並呼籲更多基礎研究者投入對齊研究。OpenAI 更是從早期就集結理論計算機科學家、博弈論專家和數學家，如今 Tsimerman 的加入進一步強化了這股趨勢，預示著純數學人才正成為 AI 安全研究的新主力。 對於一位剛抵達職業巔峰的數學家而言，放棄最能發揮所長的純數領域著實罕見。部分同僚表達了惋惜之情，但更多人對 Tsimerman 的選擇表示理解與敬佩。多倫多大學數學系主任形容此舉為「從奧林匹亞走向戰場」，認為他是以數學家特有的理性選擇了當前人類最嚴峻的技術挑戰之一。 在 OpenAI 安全團隊中，Tsimerman 預計將專注於形式化驗證（formal verification）與可證明安全（provable safety）兩大方向。具體而言，他可能為複雜 AI 系統撰寫數學規格，確保系統在任何輸入下都符合安全約束，並利用 o-極小性等工具分析神經網路中的幾何流形，從而理清模型內在表徵的代數規律。 業界觀察人士指出，Tsimerman 的加盟將進一步提升 OpenAI 在安全領域的理論高度。當生成式 AI 已融入數十億人日常生活的今天，確保這些系統不偏離人類意圖已是當務之急。數學家那種「為真命題尋求無懈可擊證明」的訓練，或許正是破解 AI 失控難題的鑰匙。 截至發稿，Jacob Tsimerman 已抵達 OpenAI 位於舊金山總部，正式展開研究。2026 年菲爾茲獎的光芒尚未褪去，這位數學家已經投向另一個需要嚴格證明的戰場，而整個 AI 社群正屏息以待，期待他能將數學上的「證明」精神帶入機器的安全靈魂之中。
Related
相關文章
嚯！35家大型央國企實測後，因果世界模型落地了
< img id="wx_img" src="https://www.qbitai.com/wp-content/uploads/imgs/qbitai-logo-1.png" width="400" height="400"> 嚯！35家大型央國企實測後，因果世界模型落地了 林, 方舟 2026-07-24 12:21:28 來源：量子位 林方舟 發自 凹非寺 量子位 | 公眾號 QbitAI 眼下，AI能幫人寫稿、編程、生成視頻，但離真正進入企業工作流、解決實際問題，經常還差一口氣。 特別是能源、製造、工業、醫藥這些高價值行業，企業需要的並不是隻會依照現有數據來生成內容的AI工具，而是一套能支撐生產調度、安全管控、風險研判和複雜方案決策的可靠智能系統。 少有產品能滿足這些需求。 WAIC期間，中數睿智發佈了“AI for Reasoning”因果智能體系，針對的就是這些痛點。 比如油氣鑽井的井控場景，井下壓力和流量突然不對勁，系統不只是輸出一句“存在風險”，而是能沿因果鏈定位病因，並推演多條幹預路徑：不處置會怎樣？立即關井會怎樣？延遲處置能撐多久、代價是什麼？輔助企業在事故發生前做出最優決策。 發佈會上還同步發佈了《因果世界模型技術體系藍皮書》，內容涵蓋了很多中數睿智公司對AI在複雜場景產業落地的思考與實踐，值得一讀。 成立於2020年的中數睿智，長期深耕企業級複雜智能決策賽道，客戶以大型央國企為主，積累了大量油氣、電力、製造、金融等領域的行業know-how。 AI進了企業，卻沒進決策室 AI在企業裡的滲透速度很快，真正轉化成利潤的速度卻沒跟上。 《藍皮書》援引麥肯錫《2025年人工智能現狀》報告的數據：88%的受訪企業已經在至少一項業務中使用AI，但實現可衡量利潤貢獻的企業只佔39%。 MIT NANDA發佈的《生成式AI鴻溝》給出另一個數字：企業級生成式AI項目的
Claude Opus、Sonnet 模型現已支持語音模式：讓對話“更有深度”
首頁 > 智能時代>人工智能 Claude Opus、Sonnet 模型現已支持語音模式：讓對話“更有深度” 2026/7/24 11:31:47 來源：IT之家 作者：清源 責編：清源 評論： IT之家 7 月 24 日消息，Anthropic 現已把 Claude Opus 和 Sonnet 模型納入語音模式，並將功能延伸至 Gmail、Slack 和 Canva 等應用。
Kimi 叫停新訂閱後，如何用上 K3
### Kimi 叫停新訂閱後，如何用上 K3？ 愛範兒 · 2026年07月24日 11:18 Kimi 官方突然停止接受新的會員訂閱，讓許多還沒來得及體驗最新 K3 模型的用戶措手不及。不過，這並不代表徹底與 K3 絕緣。一個符合直覺的替代方案浮出水面：直接調用 API。理論上，只要準備一個 API Key，進行少量配置，就能繞過擁擠的官方入口，把這個強大的模型能力接到自己的電腦上，甚至還能接入 Claude Code 等第三方編程 Agent。但現實操作起來，真的如此絲滑嗎？
剛剛，Claude爆改語音，11種語言，就是沒中文
賬號設置我的關注我的收藏申請的報道退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機構庫投資機構職位推介投資人認證投資人服務尋求報道36氪Pro創投氪堂企業入駐創業者服務創投平臺AI測評網 首頁快訊資訊推薦財經AI自助報道廣東最新創投汽車科技專精特新直播視頻專題活動搜索尋求報道我要入駐城市合作剛剛，Claude爆改語音，11種語言，就是沒中文新智元·2026年07月24日 10:58連輸入框都不需要的時代 剛剛，Anthropic和OpenAI同時放出了語音模式大升級！ Claude這邊，從只能跑Haiku升級到Opus 4.8和Sonnet 5全系列，不僅能在對話裡調Gmail、日曆、Slack，還擴增到11種語言，但沒有中文。 OpenAI那邊，全雙工GPT-Live直接搬上了macOS和Windows桌面，動動嘴就同時指揮一整隊Agent，並且支持中文。 Claude Voice大升級 在此之前，Claude的語音模式只能跑Haiku，也就是最小的那個模型。 你跟它語音聊天，它能聽懂，但稍微複雜一點的問題就容易翻車。 現在，Opus 4.8和Sonnet 5都上了。 你可以在對話中途切換模型。系統自動調用所選模型的最快版本。注意，是最快版本，不是完整推理版本。 好消息是，語音模式會默認加載你上次文字聊天用的模型，文字和語音之間上下文不斷，無縫來回切。 交互方面，則有兩種模式：Hands-free持續監聽自動回覆，Push-to-talk按住說話鬆手結束。 當然，要說最重要的，那還得是「工具調用」。
OpenAI ChatGPT 桌面應用上線語音模式：用戶口述需求，AI 推進多項任務
首頁 > 智能時代>人工智能 OpenAI ChatGPT 桌面應用上線語音模式：用戶口述需求，AI 推進多項任務 2026/7/24 10:45:13 來源：IT之家 作者：故淵 責編：故淵 評論： 感謝IT之家網友 始終瘦不下 的線索投遞！
逛完WAIC，發現AI也在“找工作”
# 逛完WAIC，发现AI也在“找工作” 2026年世界人工智能大会（WAIC）于7月17日至20日在上海举行。这场持续数日的盛会吸引了数万名参会者，35℃的高温挡不住人潮涌向展馆，各大展台前始终人流如织。与往年不同的是，今年大会的主题不再是“模型参数又刷榜了”，而是更接地气的问题：“AI到底能在哪里干活？