Chip Insight 資料庫
#Gemini
找到 3 篇文章
網傳 Google 10 月 9 日大改 Gemini 模型權限：免費版恐只剩 Flash-Lite，官方文件仍存在資訊落差
社群近期流傳 Google 將自 2026 年 10 月 9 日起重新調整 Gemini 模型權限，未訂閱用戶可能只保留 Flash-Lite，Google AI Plus 則可能失去 Pro 模型。不過目前 Google 官方說明頁的不同版本仍存在資訊不一致，因此這項變更仍需要等待 Google 完成文件同步或正式公告。
晶片觀測站·1 小時前
7 min
摺紙其實比圓規直尺更強：研究團隊用 Lean 4 把紙張摺疊變成可機器驗證的數學系統
Columbia University 團隊在最新 arXiv 預印本中，利用 Lean 4 與 Mathlib 將七種 Huzita 摺紙操作正式化，並證明角三等分、倍立方、Haga 定理與三次方程相關構造。研究還打造 Crease Pattern Inspector，能把 2D 摺痕轉成 3D 模型，再輸出成 Lean 表示。更特別的是，Claude Code 與 Gemini 也實際參與部分證明與工具開發，但最終結果仍由形式化證明系統進行檢查。
晶片觀測站·2 週前
9 min
Thinking Machines 共同創辦人 Barret Zoph 加入 Google DeepMind：頂尖 AI 人才再度洗牌
Thinking Machines Lab 共同創辦人、前 OpenAI 研究副總裁 Barret Zoph 將加入 Google DeepMind，擔任 Vice President of Research。Zoph 曾在 Google Brain 工作六年，之後參與 OpenAI 的模型訓練與 Post-training，再與 Mira Murati 創立 Thinking Machines Lab。今年初短暫回歸 OpenAI 後，他如今再度回到 Google AI 體系，並預計把強化學習與模型後訓練經驗帶入 Gemini。這次人事異動也發生在 Google DeepMind 組織重新調整之際，凸顯前沿 AI 實驗室之間的人才爭奪仍在持續升溫。
晶片觀測站·1 個月前
7 min