谷歌最強數學推理模型曝光:代號 Mathematica,100 萬詞元上下文專攻數學難題

AI資訊AI新聞資訊正文谷歌最強數學推理模型曝光:代號 Mathematica,100 萬詞元上下文專攻數學難題發佈於AI新聞資訊發佈時間 :2026年9月18號 9:27閱讀 :1分鐘爆料稱谷歌正基於 DeepThink V3 模型,構建內部代號為 Mathematica 的實驗 AI 模型。該模型主要針對繁重計算與複雜的符號問題求解進行特別優化,預估將成為谷歌最強的數學推理 AI 模型。
輸出上限 65536 詞元,標註“不穩定實驗版”API 數據顯示,該模型內部標識符為“models / deepthink-mathematica-tf-raw-thoughts”,支持高達 100 萬個詞元(token)的上下文窗口,輸出限制為 65536 個詞元。上下文窗口指模型單次處理時可讀取的文本單位總量,輸出上限則是單次回答可生成的文本單位數量。洩露的配置中還標註了“UNSTABLE_EXPERIMENTAL”,表明該版本屬於不穩定實驗版本。模型同時帶有“Teamfood”標籤——這是谷歌用於內部員工測試的術語,意味著相關服務目前處於內部測試範圍。
TestingCatalog 指出,谷歌此前已推出面向高階數學競賽的 Gemini DeepThink IMO 模式,並在 9 月 15 日推出了 Gemini 3.8 Live 和 Live Extended Thinking。相關推薦DeepMind成立新研究院,四篇文章直面AGI關鍵問題谷歌與DeepMind研究人員9月16日成立DeepMind研究院,旨在推動通用人工智能(AGI)跨學科討論。董事包括Shane Legg、James Manyika、Demis Hassabis,Legg任執行主編。
研究院強調呈現谷歌、DeepMind及全球研究界的不同觀點,首批發布四篇文章,聚焦AGI經濟政策、模型推理透明度、人類繁榮原則及前沿AI。2026年9月18號 9:0170.2k英國 AI 初創 Emulate 啟動融資,目標最高募資7億美元、估值37億美元英國AI初創公司Emulate啟動新一輪融資,目標最高7億美元,投後估值約37億美元,Index Ventures等領投。公司成立於2026年8月,創始人曾任職谷歌DeepMind,參與開發Genie世界模型,可據簡短提示生成逼真視頻與交互式3D環境,發佈時引發遊戲行業震動。2026年9月17號 17:31186.
4k冰島初創公司 Treble 斬獲 1800 萬美元 A 輪擴展融資音頻AI領域吸金數十億美元,應用涵蓋客服與銷售通話自動化、會議記錄普及,以及以語音為主交互的AI智能眼鏡。各大AI實驗室加速模型迭代,硬件商全力優化音頻體驗。但新技術須經嚴謹測試與反饋。冰島初創Treble正構建專屬仿真平臺,力圖成為大模型廠商和硬件製造商的測試優化關鍵樞紐。2026年9月17號 15:52183.
5kKimi 發佈金融行業 AI 解決方案:10 餘個數據源一站式接入,資料處理從天級壓到小時級月之暗面發佈Kimi金融行業解決方案,一站式接入10餘個數據源,內置9項金融專業技能與5項安全合規措施,具備機構級數據建模與報告交付能力。方案覆蓋持倉早報、財報點評、項目篩選、深度研究、組合覆盤等場景,將資料處理由“天”級壓縮至小時級,讓專業人員專注分析與決策。2026年9月17號 15:48185.5k阿里雲展示全新升級的 Wan3.0 視頻大模型:單條直出 30 秒長鏡頭,支持多達五條視頻參考阿里雲發佈Wan3.
0視頻大模型,實現從數秒、5秒、15秒到單條30秒長鏡頭的跨越;新增導演級控制與omni-reference能力,最多可引用五條視頻,提升創作精細度與可控性,標誌AI視頻生成進入長時長、強可控新階段。2026年9月17號 14:16204.2k智啟未來,您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026
Related
相關文章

無問芯穹與華環電子簽署戰略合作,共同探索國產異構算力AI基礎設施新方向
無問芯穹與華環電子簽署戰略合作協議,雙方將結合各自在AI軟體平台、網路通信與硬體研發的優勢,共同探索國產異構算力基礎設施的協同方案。此次合作聚焦於智算中心解決方案及「Token工廠」新模式,目標是推動計算、網路與AI原生基礎設施深度融合,為AI規模化應用提供高效穩定的支撐。
Jina AI Releases jina-ocr-v1: A 3.4B MoE Document Parser With Built-In Speculative Decoding for Low-Budget GPUs
Jina AI, part of Elastic, has released jina-ocr-v1, an end-to-end visual document parser. It takes PDFs, scans, tables, charts or invoices and returns clean Markdown in 1 pass. The model has 3.

優步全球範圍裁員 10%,被裁員工稱 AI 已大舉滲透日常工作
作者:清源 責編:清源 評論: 9 月 18 日消息,據《商業內幕》今天(18 日)晚間報道,在優步(Uber),AI 已經滲透到員工工作的許多環節,從回答 Slack 裡的內部問題,到替乘客行程中聯繫客服時收到的消息撰寫回復。6 名近期遭裁員的員工透露,過去幾個月,AI 在工作中的使用範圍明顯擴大,其中一些人甚至會通過提示詞讓 AI 完成相當一部分任務。

智譜 ZCode 被質疑“偷傳代碼”:官方回應稱問題已修復,將開源代碼庫、引入第三方審查
作者:清源 責編:清源 評論: 感謝網友 咩咩洋 的線索投遞!9 月 18 日消息,針對社區中有關代碼庫數據上傳的討論,智譜旗下編程產品 ZCode 今天(18 日)通過智譜官方群組向受影響用戶致歉,併發布回應稱已第一時間完成自查,相關問題目前已經修復。

月之暗面遞表之後,Kimi 的成色要被驗算三遍
舒澤品牌手記2026.09.18 18:16 · 來自浙江全文4982字00:00 / 14:05Anthropic 的 30 萬次指控,會成為招股書的第幾頁?文 | 舒澤品牌手記9月17日,月之暗面發佈了一套金融行業解決方案。按官方披露,中信建投、中金公司、易方達等數十家金融機構已經在用 Kimi 處理投研建模、風險排查和盡調材料——研究人員把管理層報表、審計報告和盡調文件交給 Kimi,拿回一份可以繼續調整假設的 Excel 模型。同一天,深圳商報記者就港股上市進展、股東架構調整等事項向月之暗面發去採訪函。

Calibre上手 AI 互動寫作:電子書管理器搖身變成"文字冒險遊戲引擎"
這個遊戲默認藏而不發,不會跟著 Calibre 啟動就冒出來。用戶得主動在"首選項 — 工具欄和菜單"裡把它請到主工具欄,才算真正激活。它的玩法很清晰:由 AI 在後臺搭起並掌管一個虛構世界,用戶通過不斷輸入文字來推著故事往前走,等於把"讀電子書"這件事,翻轉成了"和 AI 一起寫故事"。