An OpenAI model solved a famous math problem that stumped humans for 80 years
Ars Technica AI1d agoCommentaryArs Technica reports that an unspecified OpenAI model solved a famous math problem that had stumped humans for roughly 80 years. The article aims to explain the solution more clearly than OpenAI's own account. The provided excerpt does not identify the problem, model, proof steps, validation process, or degree of human involvement, so the scope of the reported breakthrough cannot be assessed from it alone.
All of the updates from Elon Musk and Sam Altman’s battle over OpenAI★ 85
The Verge AI11d agoBusinessElon Musk 於 2024 年起訴 OpenAI，指控其背棄了「造福人類」的非營利初衷，轉而追求商業利潤。這場高風險的法律戰如今進入審判階段，其結果可能徹底改變 OpenAI 及其旗艦產品 ChatGPT 的未來走向。本文整理了雙方在法庭上的最新交鋒與關鍵爭議點。
Elon Musk took too long to sue OpenAI, jury unanimously agrees★ 85
Ars Technica AI15d agoBusinessElon Musk 指控 Sam Altman 與 OpenAI「竊取慈善機構」的訴訟迎來重大判決。陪審團一致認為 Musk 拖延了太長時間才提起訴訟，法官隨即確認了這項裁決，宣告 Musk 敗訴。對此，Musk 的法律團隊已表示計劃提出上訴。
GPT 5.4 is now on AI Gateway★ 75
Vercel Changelog89d agoReleaseVercel 於 Changelog 宣布其 AI Gateway 服務已正式加入對 OpenAI 最新 GPT 5.4 模型的支援。開發者現在可以透過 Vercel 的統一 API 介面，輕鬆呼叫 GPT 5.4，並享有 AI Gateway 提供的自動重試、快取、速率限制（Rate Limiting）以及詳細的用量監控功能。這項更新將幫助開發者更安全、高效地將 GPT 5.4 整合至其 Web 應用程式中。
Welcome GPT OSS, the new open-source model family from OpenAI!★ 95
Hugging Face Blog301d agoReleaseHugging Face 官方宣布迎來 OpenAI 的全新開源模型家族「GPT OSS」。這項合作打破了 OpenAI 長期以來以閉源為主的策略，將其強大的 GPT 技術以開源形式提供給全球開發者。社群現在可以直接在 Hugging Face 上下載、微調並部署這些模型，預計將對開源 AI 生態系產生深遠的影響。
Run OpenAI’s latest models on Replicate
Replicate Blog376d agoNew ToolAI 模型託管平台 Replicate 宣布支援 OpenAI 的最新模型，包含 GPT-4.1、GPT-4o 及 o 系列推理模型。這項更新讓開發者能在同一個平台與 API 工作流中，無縫整合開源模型（如 Llama）與 OpenAI 的商業模型，大幅簡化了多模型應用的開發流程與帳單管理。
[AINews] GPT 4.1: The New OpenAI Workhorse★ 85
TLDR AI (Buttondown)413d agoReleaseOpenAI 正式發表全新主力模型 GPT 4.1，定位為兼顧效能與成本的「工作馬（Workhorse）」。本次更新同步推出 MRCR 與 GraphWalks 兩項全新基準測試，並釋出官方 Prompt 指南與 Cookbook。此外，社群（如 Reddit 與 Discord）也熱烈討論 GLM-4 強化學習模型與 DeepSeek 的開源貢獻。