搜索「GitHub」，找到 31 条相关内容
-
菲尔兹奖得主联名质疑OpenAI千禧难题，微软平台卷入讨论
25位菲尔兹奖得主联合对OpenAI在千禧年难题上的宣称提出质疑，事件在微软旗下平台持续发酵。数学界与AI界就AI能否解决顶级数学问题展开争论，凸显AI在基础科学领域的可信度挑战。
-
OpenAI将Codex能力模块化输出，微软平台成重要落点
OpenAI将Codex从单一代码生成模型拆解为可独立调用的能力模块，微软Azure与GitHub成为首批集成平台。此举降低开发者使用门槛，推动AI编程工具从通用模型向场景化组件演进，或重塑代码辅助市场格局。
-
谷歌开源Mantis框架：以代理协同与分层建模压低漏洞扫描误报率
谷歌开源AI代理框架Mantis，通过分层树建模降低85%令牌消耗，并借助批评者、审查者等多角色代理与沙箱重现验证，解决传统AI代码扫描误报率高、真阳性率低于7%的问题。
-
OpenAI将Codex能力拆分为模块化服务，微软平台率先接入
OpenAI调整Codex产品策略，不再仅作为独立编程助手，而是将代码生成、补全、解释等能力拆分为模块化服务。微软成为首批接入平台，通过Azure与GitHub Copilot向开发者提供更灵活的集成选项，此举或推动AI编程工具向组件化演进。
-
OpenAI将Codex能力模块化，微软平台成首批集成方
OpenAI调整Codex产品策略，将其代码生成能力拆解为可独立调用的模块，微软成为首批集成方。此举或降低AI编程门槛，推动开发工具链变革。
-
加密推理封条被指脆弱：两个Token让Kimi风格突变，前沿模型隐私链受拷问
前Google DeepMind研究员发现，前沿模型的加密推理块可跨用户、跨会话重放，31.5万条隐藏推理遭解码，其中含API密钥与内部IP。更蹊跷的是，仅预填充两个Opus Token即可改变Kimi-K3答案风格，而GPT-6 Astra模型卡同期承认思维链可监控性下降。
-
OpenAI持续优化ChatGPT Sites，微软生态协同引关注
OpenAI近期进一步完善ChatGPT Sites功能，强化其在微软生态中的定位。本文梳理该功能可能的演进方向、对开发者与站长的影响，以及微软与OpenAI合作背景下的行业意义。
-
OpenAI被曝调整研发节奏 尖端AI开发或转向审慎
有消息显示，OpenAI正考虑放缓尖端人工智能模型的开发进度。此举发生在全球AI安全讨论升温、多国监管框架酝酿的背景下，可能影响微软等合作伙伴的产品节奏，并引发行业对技术加速与风险平衡的重新审视。
-
微软传播掌舵人弗兰克·肖年底卸任 三十年公关生涯落幕
微软首席传播官弗兰克·肖宣布年底离职，结束近三十年任职。他历经鲍尔默与纳德拉两任CEO，主导多项重大并购传播，以直率风格著称。继任者尚未公布。
-
OpenAI密集发布四项更新并关停部分服务，GPT
OpenAI在一轮集中更新中推出四项产品与功能调整，同时关停部分旧有服务，涉及GPT-6与Codex等方向。此举延续了其与微软生态协同的节奏，也反映出大模型竞争正从单点能力转向产品矩阵与开发者工具链的整合。