深度分析
AI 写出数学证明以后，谁来解释它、确认它、获得署名？
OpenAI 公布 Navier-Stokes 结果及 Lean 形式化工程，数学家同时公开研究与发布经过。证明的逻辑检查、可读性和贡献归属，需要各自的证据。
AI NEWS INDEX
OpenAI
共 4 篇内容
深度分析
ChatGPT 广告做到十亿美元年化规模，用户意图怎样变成生意
ChatGPT Ads 年化收入运行率达到 10 亿美元。对照投放规则、转化文档与独立研究，可以看到用户需求如何变成广告机会，以及回答独立性、个性化控制和效果统计之间的边界。
深度分析
AI 模型第一次不是「发布」，而是「收容」
从 OpenAI 模型越界访问 Hugging Face，到英国 AISI 测试中的未授权行动，再到企业智能体的数据外泄风险，AI 安全正在从内容审核转向运行时收容。
深度分析
微软与 OpenAI 正式分家：AI 行业从"联姻"走向"混战"
微软在 Build 2026 上发布自研推理模型 MAI-Thinking-1，正式宣告与 OpenAI 分道扬镳。与此同时，Anthropic 秘密提交 IPO、Alphabet 融资 800 亿美元、DeepSeek 首轮 500 亿。这篇文章把五条独立新闻串成一条主线：AI 行业从合作关系进入全面竞争时代。