OpenAI 公開 175 頁四維證明手稿，劍指數學百年難題
AI資訊AI新閒資訊正文OpenAI 公開 175 頁四維證明手稿，劍指數學百年難題發布於AI新閒資訊時間 :Oct 10, 2026閱讀 :1分鐘近日，OpenAI 一舉公開了722篇前沿數學手稿，其中兩篇重磅論文直接瞄準了數學界的世紀難題——掛谷猜想（Kakeya Conjecture）。這一突破性進展不僅刷新了多維數學的認知邊界，也引發了全球學術界對 AI 在前沿基礎科學研究中扮演何種角色的深刻討論。在公開的手稿中，兩篇核心論文分別聚焦於三維掛谷極大函數猜想以及四維一般掛谷集合的滿維證明。
其中，針對三維的版本比此前由青年數學家王虹與 Zahl 聯合解決的三維掛谷集合版更強;而四維版本則直接將此前四維掛谷集合的維數下界從3.059戲劇性地推進到了滿維4。值得關注的是，這兩篇手稿的整個論證過程，大量借鑑並建立在王虹及其合作者此前所建立的經典數學方法與結論基礎之上。回顧數學界的研究脈絡，在掛谷猜想的探索歷程中，中國青年女數學家王虹曾憑藉對三維掛谷猜想的出色證明引發全球轟動，並一度成為菲爾茲獎的熱門人選。而如今，OpenAI 通過大模型輔助生成的龐大證明手稿，在前人的堅實基礎之上向更高維度發起了總攻。不過，科研審慎的態度依然不可或缺。
目前這兩篇長達175頁的四維證明手稿仍處於等待獨立專家檢驗的階段。業內專家指出，若最終論證經得起推敲並被證實成立，將成為掛谷猜想研究領域的歷史性突破，同時也標誌著人工智能正式具備了參與、甚至主導人類頂尖數學難題攻堅的強悍實力。相關推薦OpenAI 公佈大批數學研究成果引發學界震盪，學者擔憂破壞學術合作傳統OpenAI公開700多份由內部前沿AI模型生成的數學研究文稿，引發數學界廣泛關注與激烈討論。部分學者振奮於AI在數學領域的突破，也有專家擔憂其衝擊學術生態和青年研究人員，青年研究員成果受衝擊、數據安全遭質疑。紐約大學數學教授巴克馬斯特批評OpenAI一次性放出如此龐大的研究成果。
Oct 10, 2026113.3k估值1.4 萬億美元！OpenAI 年化收入飆至 500 億美元並尋求鉅額新融資《金融時報》及Axios等外媒稱，OpenAI截至9月底年化營收約500億美元；此前近700億美元數字主要因會計標準差異。Anthropic通過雲夥伴銷售時記錄客戶支付全額、將分成計為費用，OpenAI在部分夥伴交易中僅將自身分得部分計為營收，兩者均符合美國GAAP。儘管口徑不同，差異由此而來。Oct 10, 2026155.4kOpenAI研究負責人迴應解僱三名員工爭議並全面澄清原因OpenAI近期因三名研究人員Jasmine、Mikita和Tomek離職陷入輿論爭議。
針對外界猜測及公開信質疑，OpenAI研究負責人發佈官方說明，全面澄清事件核心細節。聲明明確，上週終止與三人僱傭關係，並非因他們公開表達安全擔憂或批評公司。OpenAI還強調，公司內部一直非常歡迎……Oct 10, 2026151.6kOpenAI 預計年底年化收入超 700 億，企業業務成核心增長引擎OpenAI最新預測顯示，在企業級業務強勁拉動下，到2026年底年化收入將達或超700億美元。此前市場傳其9月底年化收入僅500億美元，引發投資人對AI回報率擔憂，拖累美股科技板塊下跌；最新數據回升市場信心。
不過，公司仍面臨資本與盈利雙重挑戰，營收高速擴張伴隨巨大現金消耗壓力，預計到2030年累計……Oct 9, 2026188.3k陶哲軒警示 OpenAI 批量生成證明，數學界面臨“證明消化不良”陶哲軒等學者嚴厲批評OpenAI批量發佈AI生成的數學證明。OpenAI從GitHub發佈含數百項開放難題解答的719份數學手稿，被指違背“數學與人工智能顧問小組”關於提高專有模型透明度與發佈規範的建議。陶哲軒稱，這種工業化批量攻克難題造成“證明消化不良”，理解機制缺失正威脅數學研究生態。Oct 9, 2026218.
2k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026
Related
相關文章
認識 Voxel51 3.0：為實體 AI 打造的統一多模態資料平臺
Voxel51 已發布 Voxel51 3.0，這是其資料平臺的一次重大更新。Voxel51 3.0 是一個端對端的多模態資料平臺，將搜尋、篩選、標註和評估整合於單一系統中。該平臺鎖定針對機器人、車輛和工廠感測器資料進行模型訓練的團隊。此次發布新增了 Voxel51 Agent、資料溯源層及免費的自助式存取。重點摘要：規模：Voxel51 Agent 內建超過 45 個 MCP 工具、80 多個運算子及 18 個開源技能。執行環境：可於 app.voxel51.com 使用託管網頁應用程式，或於雲端、混合、地端及隔離環境中自行部署。未揭露本機 GPU 需求。效能：未發布產品基準測試。Voxel51 引用其自身調查數據作為依據。最佳亮點：免費方案包含 Voxel51 Agent、每月 30,000 次推論請求及 30 個運算小時。
本期AI資訊彙總2026年10月18日的產品更新、前沿研究、行業趨勢與開源項目，幫助讀者快速瞭解當天的重要動態
導航SecureDoc // EncryptionActive本期AI資訊彙總2026年10月18日的產品更新、前沿研究、行業趨勢與開源項目，幫助讀者快速瞭解當天的重要動態。
下一概念建模把文本生成提速最高31倍
斯坦福等聯合提出全新文本生成範式 NCM，生成速度狂飆 31 倍AIbase基地發佈於AI新聞資訊 · 1 分鐘閱讀 · Oct 16, 202633人工智能領域的文本生成技術迎來顛覆性創新。斯坦福大學與 Together AI 的研究人員近日聯手推出了一種截然不同於傳統自迴歸和擴散模型的全新文本生成範式——Next-Concept Modeling（簡稱 NCM，即“下一概念建模”）。該方法巧妙借鑑了圖像生成領域中“下一尺度預測”的思路，有望為未來的文本生成技術開闢全新的發展路線。在技術實現路徑上，NCM 模擬了人類“先構思宏觀大綱、再動筆填充細節”的寫作邏輯。整個系統通過兩階段訓練來完成:首先訓練多尺度殘差 VQ-VAE，從而得到能夠逐層補充信息的多層離散文本編碼;隨後凍結該系統，訓練 Transformer 模塊去預測下一層的編碼。在生成文本時，模型會先並行生成概念層面的宏觀大綱，接著逐層並行填充具體細節，最終組合成完整的文本內容。在實際測試表現中，NCM 交出了令人矚目的成績單。實驗數據顯示，在保持相近甚至更優生成質量的前提下，NCM 相對傳統的擴散語言模型實現了10到31倍的生成速度飛躍，並且在訓練過程中所需消耗的 token 數量也大幅減少。此外，在數獨等複雜推理任務上，它的表現也明顯優於傳統的自迴歸和擴散基線模型，同時還支持通過多生成候選挑選機制來進一步優化最終輸出效果。儘管目前該研究所使用的模型參數規模依然相對有限，其在擴大模型規模後的表現、精確文本以及長篇內容的生成能力仍有待後續驗證，但這一創新思路無疑打破了長期以來的技術慣性，為人工智能高效生成文本提供了充滿想象力的全新解法。本文來自AIbase日報掃碼查看歡迎來到【AI日報】欄目!這裡是你每天探索人工智能世界的指南，每天我們為你呈現AI領域的熱點內容，聚焦開發者，助你洞悉技術趨勢、瞭解創新AI產品應用。
Claude自主優化八類量子電路設計
ScienceDesigning more efficient quantum circuits with ClaudeOct 16, 2026Quantum computers will need carefully designed circuits to run useful algorithms on limited hardware.
12.88萬起、華為電驅+L4同源智駕，Ray7能成為埃安年輕化的答卷嗎？
12.88萬起、華為電驅+L4同源智駕，Ray7能成為埃安年輕化的答卷嗎？ 本文作者： 倪萍 2026-10-17 22:42 導語：10月17日，埃安轎跑Ray7正式開啟預售，預售價12.88 萬起。新車車長4.9米，軸距2.9米，車頭部分搭配3.25米的超長雙環燈帶，是埃安10年煥新的家族 10月17日，埃安轎跑Ray7正式開啟預售，預售價12.88 萬起。新車車長4.9米，軸距2.9米，車頭部分搭配3.25米的超長雙環燈帶，是埃安10年煥新的家族式標識。 新車採用寧德時代電池以及廣汽自研的彈匣電池2.0技術，能夠在充分釋放續航能力的同時，監控電池健康狀態。提供45.58kWh和62.98kWh兩種規格，續航可達702公里，整車風阻係數 Cd 低至 0.22。Ray7搭載華為DriveONE多合一電驅，以及華為DriveONE芯片級驅制融合架構，百公里制動僅為32.8米。底盤方面，Ray7搭載高性能前後穩定杆和後五連桿懸架，過彎極限更高，濾振更乾淨。智能化上， Ray7搭載27顆車規級全視角傳感器，採用文遠知行L4級Robotaxi同源大模型。這幫助新車能夠複用 L4 積累的海量場景經驗，在城區掉頭、繞行等複雜場景中可順利通行。自2025年廣汽推進“番禺行動”以來，昊鉑埃安BU的研發、生產、銷售等環節效率不斷提升，產品迭代和新車投放節奏明顯加快。作為埃安全新Ray車系的首款新車，Ray7是埃安開啟年輕化序列的關鍵落子，也是廣汽切入20萬級市場的重要佈局。這一細分市場競爭並不輕鬆：小鵬P7、極氪007等車型已經提前卡位。Ray7想在年輕人心中佔位，不能只堆參數，更要把智能座艙與輔助駕駛、三電安全、補能效率、用車成本和價格權益上的差異，變成用戶可感、可信、可持續的體驗，這才是埃安年輕化的分水嶺。（雷峰網(公眾號：雷峰網)） 雷峰網原創文章，未經授權禁止轉載。詳情見轉載須知。
梁聖又掀桌了！DeepSeek新模型斬殺GPT-6，許願式編程時代降臨
作者 | 楊京麗 編輯 | 李水青 10月17日報道，剛剛，DeepSeek V4.1 Flash更新至V4.1-Flash-1017版本，官方網頁端、App與API已同步更新至新模型，模型權重也已在HuggingFace和ModelScope開放下載。DeepSeek還向公眾開放自研搜索引擎的Search（搜索）與Fetch（抓取）API，兩個接口均定價為5元/千次。 此次更新距離該模型發佈僅過去一個多月。9月10日，DeepSeek正式推出V4.1-Flash，在性能上超越了DeepSeek-V4-Pro。