开源项目捐给基金会后又往回要，维护 7 年出钱出力却被告上法庭？网友：捐了代码想收回去靠它赚钱，太无耻！

云原生计算基金会 (CNCF) 与开源消息系统 NATS 背后的 Synadia 公司就 NATS 项目的商标、域名和 GitHub 存储库控制权产生纠纷。Synadia 曾将项目捐赠给 CNCF，如今想“撤回”并变更许可证，双方各执一词，最终达成 Synadia 同意 CNCF 控制相关资产的协议。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

2.2K Star！21 种手绘风一键调用，这个 GitHub 开源项目把画风漂移治好了！

AI生图领域，画风描述不稳定、换工具后风格漂移是常见痛点，该GitHub开源项目hand-drawn-styles整理了21套经验证的手绘画风提示词配方，工具无关适配各类Agent，可固定风格解决漂移问题，目前已收获2.2K Star。

GPT-6第1天直接攻破5道Erdős难题！Fable 5.1交了白卷

Epoch AI和曼彻斯特大学发布FME基准测试论文，让68道未解数学难题成5个顶级AI的考场。GPT - 6 Astra成唯一得分非0分模型，放宽预算共解开5道，其余4个AI全交白卷。该测试是对陶哲轩批评的回应。

具身智能开始“交卷”：宇树上市之后，产业和资本怎么走？｜甲子引力X

2026年8月20日，「激流——2026甲子引力X·科技产业投资大会」举行，聚焦人工智能等硬科技方向。会前一天宇树科技上市，股价波动引发对具身智能估值的讨论。会上投资人探讨了具身智能从技术到产业化的变化、拐点、资本市场走向等问题。

AI办公斩杀线，一页文档多少钱

腾讯混元Hy4 preview正式发布并开源，参数770B，是开源阵营里参数最大的Apache 2.0模型。它能处理长文本，官方定位有软件工程、办公分析等四个方向。还分析了处理一页文档的成本，指出办公AI下半场重在‘读懂’。

马斯克宣布：Grok学会看片了！无字幕看懂陶哲轩菲奖级难题

马斯克宣布Grok可分析任何视频。它能对伪造视频鉴假溯源，但也有处理画面靠字幕、有幻觉问题和效果不稳定的缺陷。实测中它能理解无字幕视频，还整理访谈内容。这功能虽便利，但引发人类能力退化担忧。

陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机

菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。

企业出海，被中国信通院和腾讯重新定义了一次

中国企业出海面临信息分散、专业支撑不足、属地化服务难等问题。7月17日，中国信通院与腾讯在2026世界人工智能大会共赢金砖论坛上推出AI航海家+，将七国生意经装进AI对话框，有22位懂当地规则的专家，能替企业做判断。

估值神话即将崩盘？Palantir CEO狂喷OpenAI和Anthtropic：拿走企业核心机密还要收过路费

Palantir CEO Alex Karp在电视采访中拆解OpenAI和Anthropic商业模式，指出企业花买token的钱未获匹配价值，商业机密被拿走。他质疑按token收费机制，认为不能稳定创造价值。还指出企业数据可能使模型取代自己，行业高估值或松动。