YC迎来首位AI创始人；GPT-5.6 Sol证明数学猜想；OnePlus退出欧美市场

2026-07-17

✨ 今日亮点

YC迎来首位AI创始人Thomas，两周赚17k

YC

AI创始人自己写代码、谈客户、做决策，YC这波操作直接让‘创始人’定义模糊了。

GPT-5.6 Sol Ultra 证明循环双覆盖猜想

OpenAI

AI首次独立完成重大数学证明，数学家们该紧张了。

OnePlus 暂停美国和欧洲业务

HN

又一个中国手机品牌在欧美折戟，高端市场真不是谁都能玩的。

🚀 Y Combinator

Emergent Labs 获1.3亿美元C轮融资，估值15亿

无代码全栈应用平台，已有1200万应用、20万付费用户。AI降低开发门槛的赛道天花板极高，但竞争也激烈。

Singularity Defense 获8000万美元A轮融资，估值4亿

低成本导弹拦截器，汽车级量产。创始团队来自SpaceX/Tesla，军工AI化是下一个大风口。

Fleek 获2500万美元B轮融资

二手服装AI交易平台，瞄准2000亿美元市场。AI鉴定+物流，传统行业数字化改造的典型。

🔥 Hacker News

Kimi K3: 开放前沿智能

国产大模型又出新品，K3性能对标GPT-4，开源策略能否复制Llama的成功？

Microsoft Comic Chat 开源

90后回忆杀！微软把古董聊天软件开源了，代码考古学家的狂欢。

Sony 再次从用户账户删除已‘购买’的电影

数字版权的丑陋真相：你买的只是‘观看许可’，随时可能被收回。

NotebookLM 更名为 Gemini Notebook

Google又在搞品牌整合，NotebookLM用户被迫迁移，体验能否保持？

Ente 公开财务数据

开源加密相册公司晒账本，透明运营能否赢得用户信任？

🐦 X / Twitter

GLM 5.2 Colibri int4：纯CPU运行的MoE模型

无需GPU，普通电脑就能跑大模型，离线AI的春天来了。

Grok 4.5 + Grok Build 一键生成ARPG游戏

AI游戏引擎+代理编码，从零到可玩ARPG只需一次对话。

Claude Code 被团队视为正式员工

白板上带星号的任务全交给Claude，AI编码代理已从工具变成同事。

Cursor 联合创始人：目标是消灭传统编码

Michael Truell直言要发明比代码更好的东西，编程范式正在被颠覆。

📰 科技新闻

Apple 起诉 OpenAI 窃取商业机密

两大AI巨头对簿公堂，硅谷的‘借鉴文化’终于要付出代价了。

Fox 收购 Roku：流媒体格局大地震

传统媒体巨头吞并流媒体平台，内容+渠道的整合大戏拉开帷幕。

Samsung 将删除健康数据：除非你同意用于AI训练

用数据要挟用户？三星这波操作引发隐私争议。

LAPD 终止与监控巨头 Flock 的合同

公民自由压倒监控需求，AI安防公司的商业模式面临拷问。

🛠️ Product Hunt

Brain2Qwerty v2 – Meta脑机接口非侵入式读取句子

不用开颅就能读脑电波打字，科幻成真但离商用还远。

NeuralAgent 3.0 – AI代理开发平台

低门槛构建AI代理，但同质化严重，亮点不足。

Relay – AI工作流自动化工具

又一个Zapier替代品，AI原生但生态尚需建设。