AI數學狂飆引發數學界震動：OpenAI一口氣發佈 722 份難題證明，人類學者陷入驗證焦慮
AI資訊AI新閒資訊正文AI數學狂飆引發數學界震動：OpenAI一口氣發佈 722 份難題證明，人類學者陷入驗證焦慮發布於AI新閒資訊時間 :Oct 9, 2026閱讀 :1分鐘人工智能在數學領域的推進速度正在刷新外界的認知。近日，OpenAI 一次性公開了多達722份數學難題的證明手稿，這些成果橫跨17個不同的數學領域，且整體解題成本遠低於以往，在數學界引發了巨大震動。從技術與應用角度來看，這批由 AI 生成的證明雖然能夠通過機器的嚴格驗證，但在實際轉化層面卻暴露出明顯痛點。
絕大多數證明難以轉化為人類能夠輕鬆理解的知識，甚至在實踐中出現了因單個符號錯誤而導致多篇相關結論集體失效的“翻車”現象。這一進展隨之引發了學術界對科研生態的深層擔憂。數學家們指出，當 AI 以極高的效率批量產出海量證明時，後續繁重的梳理、驗證以及解讀沉澱工作，全部壓在了人類研究者的肩上。更核心的問題在於，現階段的 AI 主要是通過調用已有知識進行邏輯組合來完成解題，很難真正孕育出數學研究最核心的新思想和新工具。業內專家擔憂，長此以往，人類進行相關解讀工作的動力可能會不斷衰減，最終在人機之間形成一道難以跨越的理解屏障。
這種趨勢不僅可能鎖死人類文明的深度發展，更在某種程度上背離了科學刨根問底、追求本質理解的根本宗旨。相關推薦OpenAI遭遇信任危機：三名被解僱研究員聯名發聲，警告解僱潮恐引發行業“寒蟬效應”上週突遭解僱的三名OpenAI研究人員巴萊斯尼、科爾巴克和賈斯敏·王今日發公開信，擔憂此舉令在職員工噤若寒蟬，重創公司文化。題為《OpenAI無法獨自確保AI安全》的信由AI對齊研究者巴萊斯尼在社媒發佈，收信對象為OpenAI各安全團隊，凸顯對AI安全治理與內部文化的擔憂。Oct 9, 202683.3k因“跨界合作”被裁?
OpenAI三位關鍵安全專家發聲反駁違規指控10月8日，三名被OpenAI解僱的安全研究員Jasmine Wang、Tomek Korbak與Mikita Balesni發聯合公開信，向OpenAI安全與安保委員會否認違反公司規定或向第三方洩露敏感信息，並警告閃電式解僱正製造“寒蟬效應”，削弱對前沿模型的監視與風險應對能力。事件源於上週OpenAI內部調查，公司稱三人跨越既定流程訪問和處理敏感信息。Oct 9, 202685.
2kOpenAI修正年化收入預期至500億美元 IPO計劃推遲至2027年《金融時報》消息稱，OpenAI已向投資者明確其年化收入接近500億美元，較市場此前流傳的700億美元減少約200億。700億系部分投資者為直接對比Anthropic而粗略估算。兩家公司核算標準不同：Anthropic將雲合作伙伴銷售額計入營收，OpenAI未採用該口徑。此次財務數據修正重新引發市場對其收入規模與估值的關注。Oct 9, 2026101.
2k谷歌把AI搜索塞進手機：EmbeddingGemma2 開源，不到600MB斷網照樣搜圖文音視頻谷歌推出EmbeddingGemma2，這是其首個原生多模態開源嵌入模型，參數740M。它能把文字、代碼、圖片、視頻、音頻統一映射到同一語義空間，讓跨模態檢索首次輕量跑在端側。最大賣點是體積小、可離線：完整多模態模型內存佔用不到600MB，可在手機、筆記本和瀏覽器中直接運行。Oct 8, 2026179.
9k阿里蔡崇信:AI將轉向隱性基礎設施，知識工作者TAM達50萬億美元阿里巴巴集團主席蔡崇信在意大利Wave by Vento2026上表示，未來五年AI將從顯性話題演變為融入各業務的隱性基礎設施。他認為，當前AI擅長幫人“省時間”，“花時間”領域潛力巨大；提升知識工作者生產力是最確定場景，潛在市場規模達50萬億美元，AI還將加速醫療與科研創新。Oct 8, 2026203.2k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026
Related
相關文章
廣交會上的機器人，正在從“秀一場”走向“用一程”
作者 | 獨林 編輯 | 漠影 能自主與人連續打羽毛球的雙足人形機器人，到了新的任務中，原有的能力還有多少能複用？10月18日報道，在今年的第140屆廣交會上，動易科技在多處安排了人機羽毛球、乒乓球對打，並在廣交會發展史陳列館提供中英雙語導覽。
美國芯片創企擬融資6億，另闢賽道對標英偉達、AMD
編譯 | 黃菲 編輯 | 江宇 10月16日消息，據路透社報道，10月15日，美國芯片設計初創公司Bolt Graphics正尋求融資約1億美元（約合人民幣6.72億元），該公司目前估值約為7億美元（約合人民幣47.04億元）。 該公司計劃開發能夠與英偉達和AMD競爭的GPU，重點面向高性能計算、專業渲染和遊戲圖形等領域。 目前，本輪融資仍在進行中，Bolt Graphics首席執行官達爾維什·辛格（Darwesh Singh）拒絕透露具體融資金額和條款，但稱融資進展順利。
無人機表演十年後，大漠大想做「會幹活」的機群
即便對大漠大這家公司名字感到陌生的人，大概也看過它的無人機編隊表演——7次登上央視春晚，多次出現在《新聞聯播》裡，但迄今為止，大漠大鮮少對外講述自己的品牌故事。在剛剛過去的國慶假期，大漠大在南昌、宜昌、昆明等多地執飛的無人機表演刷屏全網，持續推進“低空＋文旅＋融媒”的低空融媒業務運營，為城市發展打造新的內容傳播載體。但表演本身並不是大漠大的營收主體。據公司披露，設備銷售佔其整體營收約70%，研發人員佔比約40%，無人機集群設備與技術系統，才是支撐其業務的核心。
Anthropic IPO 估值遭砍：增速放緩，2 萬億美元預期回落至 1.5 萬億
據其中三人透露，一些投資者在舊金山舉辦的投資者日活動中，圍繞約 1.5 萬億美元（現匯率約合 10.05 萬億元人民幣）的估值展開討論。而此前外界預期，Anthropic 在 11 月上市時的估值約達 2 萬億美元（約 13.41 萬億元人民幣）。
京東採銷員工發佈謠言詆譭其他平臺被起訴，法院已立案
近日，記者獲悉，因在618大促期間發朋友圈造謠詆譭其他平臺，京東公司採銷經理左琦被抖音電商起訴。目前，北京市海淀區人民法院已正式立案。2026年5月29日至31日，一張京東採銷經理左琦發佈的朋友圈截圖在社交媒體廣泛傳播，大量社交媒體賬號發帖稱“京東員工朋友圈曝抖音裹挾商家媒體、黑京東就有流量”。相關內容在社交平臺的發佈時間集中、內容同質化嚴重、IP地址集中，具有明顯的水軍特徵，發佈後還被多家媒體誤信，進行了援引報道。
短視頻、聯盟營銷與本地化履約，家居賣家如何撐起一場大促增長？
大促流量湧來時，中小賣家最擔心的或許不是“沒有流量”，而是流量來了之後，自己能不能接得住。對經營菲律賓市場家居生意的周揚（化名）來說，這個問題尤其現實。相比擁有成熟團隊和充足預算的大賣家，中小賣家的每一份資源都需要花在更合適的地方：商品如何被更多消費者看到，營銷投入怎樣帶來實際成交，突然增加的訂單又該如何順利交付，都需要在有限的選擇中找到自己的節奏。剛剛過去的Shopee大促，給了周揚一次檢驗經營思路的機會。