實體: Microsoft
所有提到 Microsoft 的 AI 新聞與動態。
-
AI模型開始解決高階數學問題
軟體工程師、前量化研究員兼創業家 Neel Somani 在週末測試 OpenAI 新模型時，意外發現其數學能力有顯著突破。他將一道數學問題輸入 ChatGPT，讓其思考十五分鐘後，模型不僅產出完整解答，還被工具 Harmonic 驗證透過。該模型能引用如 Legendre 公式、Bertrand 公設及 Star of David 定理等數學公理，甚至追溯到 2013 年 Harvard 數學家 Noam Elkies 在 Math Overflow 上發表的優雅解法。儘管 ChatGPT 的最終證明與 Elkies 的工作有重要差異，但它對傳奇數學家 Paul Erdős 提出的問題版本提供了更完整的解答。 自 GPT 5.2 發布以來，該模型被形容為在數學推理上比先前版本更出色。Erdős 提出的超過一千個猜測成為 AI 數學研究的熱門目標。自聖誕節以來，Erdős 網站上有十五個問題從「未解」變為「已解」，其中十一個明確歸功於 AI 模型。數學家 Terence Tao 在其 GitHub 頁面上指出，有八個問題顯示 AI 模型在 Erdős 問題上取得了有意義的自主進展，另有六個案例是透過定位並建立在先前研究基礎上。Tao 認為，AI 系統的規模化特性使其更適合系統性地應用於 Erdős 問題中那些較少見但解法簡單的「長尾」問題。 此外，數學證明形式化（Formalization）的趨勢也推動了這一進展。雖然形式化不依賴 AI，但自動化工具如 Microsoft Research 於 2013 年開發的開源證明助手 Lean 已廣泛使用。Harmonic 的 Aristotle 工具則承諾自動化形式化工作的大部分。Harmonic 創辦人 Tudor Achim 表示，比起已解決問題數量的激增，他更關注世界頂尖數學家開始認真使用這些工具，這才是證明 AI 在數學領域發揮重要作用的關鍵證據。
-
Slackbot 現已成為一個 AI 副本
Salesforce 旗下的企業通訊平臺 Slack 內建的自動化助手 Slackbot 正式邁入新時代，轉型為具備自主行動能力的 AI 代理。Salesforce 技術長 Parker Harris 希望此版本能像 OpenAI 的 ChatGPT 一樣引發病毒式傳播。該新版本於週二推出，一般適用於 Business+ 和 Enterprise+ 客戶，可在 Slack 平臺內尋找資訊、草擬郵件及安排會議。若獲得許可，Slackbot 還能連線到 Microsoft Teams 和 Google Drive 等其他企業產品以獲取資訊，讓使用者無需離開 Slack 即可跨多個應用工作。 Salesforce 正投入資源開發 AI 產品以維持並擴大市場份額。此次重構的 Slackbot 最初於十月在 Salesforce 年度 Dreamforce 會議上宣佈，是該公司企業級 AI 產品計劃的一部分。Harris 表示，下一代 Slackbot 與以往版本完全不同，公司保留原名是因為其知名度已高。Slack 通常透過更新功能來推動採用率，而 Slackbot 則被定位為由生成式 AI 驅動的「員工代理」，經過高度客製化設計。Salesforce 會先讓內部員工測試數個月，Harris 幽默地表示他們喜歡先喝自己的香檳，且 Slackbot 是目前採用率最高的內部工具。 Harris 指出，內部使用者的活躍數量顯示產品已達到市場契合度，採用是基於自願而非強制。未來，Slackbot 將不僅限於文字代理，還將增加語音功能並具備瀏覽網際網路的能力。Harris 對投資 Slackbot 的前景充滿信心，認為這不僅對 Slack 有益，對整個公司也極為重要。
-
巴西下令Meta暫停禁止第三方AI對話機器人於WhatsApp使用的政策
巴西經濟競爭管理局（CADE）已命令 WhatsApp 暫停其禁止第三方 AI 公司利用業務 API 在應用程式中提供聊天機器人的政策，並啟動調查以釐清該政策是否具有反競爭性質。CADE 指出，Meta 實施的《WhatsApp 業務解決方案條款》可能導致具有排他性的反競爭行為，特別是在限制人工智慧工具供應商訪問技術方面。調查將重點關注 Meta 的條款是否排擠競爭對手並過度偏袒 Meta AI。此舉發生在歐盟和義大利已針對該政策展開反壟斷調查之後。若歐盟裁定 Meta 違反反壟斷規則，最高可處以全球營收 10% 的罰款。Meta 於去年十月修改 WhatsApp 業務 API 使用條款，禁止第三方 AI 公司在 1 月 15 日政策生效後提供聊天機器人，影響了 OpenAI、Perplexity 和 Microsoft 等公司。不過，該政策並未禁止企業提供自有的聊天機器人。Meta 表示其系統設計初衷是協助企業提供客戶支援和傳送更新，並強呼叫戶可透過 WhatsApp 以外的方式使用不同聊天機器人。目前 Meta 已告知開發者，在義大利政策生效後仍可繼續提供 AI 聊天機器人，巴西可能隨後採取類似決定。
-
SkyLight 發布 Calendar 2 助您整理家庭行程
Skylight 公司最初以數位相框起家，如今則更專注於協助家庭透過共享日曆、清單、餐食規劃等工具保持整齊有序。在 2026 年消費者電子展上，該公司推出了最新產品 Skylight Calendar 2，其設計比原本的 15 吋日曆更簡潔，但小於 27 吋的牆掛式 Calendar Max 版本。與大型版本一樣，使用者可更換不同顏色的相框以搭配居家裝潢。此產品最大的賣點並非數位螢幕本身，而是底層軟體與人工智慧能力。主要功能日曆整合了來自 Google Calendar、iCal、Microsoft 或兒童運動應用程式如 TeamSnap 的所有家庭日曆，並透過顏色編碼讓使用者一目瞭然。該日曆甚至能匯入真正只是電子郵件或寄給學生的傳單，使用者只需拍攝紙本照片，AI 即可自動更新事件。 公司也試圖解決家庭管理的其他痛點，包括管理購物清單、預約提醒、餐食規劃與食譜發現。該應用程式設計簡潔，色彩鮮明且具影象化介面，讓幼童也能使用，例如透過尋找圖片來勾選家務。家長可規劃餐食，從簡單標記星期二為塔可之夜，到尋找食譜並準備購物清單。Skylight 能自動生成食材清單，甚至加入 Instacart 應用程式。另一項巧妙的人工智慧功能允許使用者拍攝冰箱內容，根據現有食材獲得食譜推薦。此係統顯然受到客戶歡迎，Skylight 作為從第一天起便自籌資金且盈利的公司，目前已有超過 130 萬個家庭使用其數位日曆，隨著新設計出貨，使用者人數預計將繼續增長。