晨启Tech

683 分，HN 今日最热帖，标题是「An OpenAI model has disproved a central conjecture in discrete geometry」。 AI 模型推翻了一个离散几何领域的核心猜想。不是辅助证明，不是生成候选反例，是直接干掉了数学家悬而未决的问题。 老实说，看到这条新闻的第一反应是有点懵。AI for Science 讨论了好几年，大多数时候停留在「帮科学家加速筛选」的层面。这次不一样，这次是模型自己搞出了一个数学发现。虽然具体细节还在等 OpenAI 的正式论文，但光是「推翻核心猜想」这几个字就够让人重新审视 AI 在基础研究中的定位了。 🔥 重点新闻1. OpenAI 模型推翻离散几何核心猜想今天 HN 上 683 分的帖子，讲的是 OpenAI 的一个模型在离散几何领域做出了真正的数学发现，推翻了一个长期存在的核心猜想。 这件事的分量在于，它不是那种「AI 帮忙跑了个模拟」的辅助角色。据目前的信息，模型独立地找到了反例结构。离散几何是一个高度抽象的领域，需要深度的逻辑推理能力，而不是简单的模式匹配。 我一直在关注 AI ...

科技简报 | 2026年5月20日昨天 Google I/O 刷屏了，但我觉得今天更值得聊的，是几条藏在热闹背后的信号。 1. Google I/O 放大招，Gemini 3.5 系列模型上线Google 今年的 I/O 发布会信息量很大。Gemini 3.5 系列模型正式上线，音频眼镜登台亮相，搜索框也在重塑。 坦率的讲，Google 这次的节奏有点不一样。以前总给人一种「我也在做 AI」的跟随感，这次是真的把 Gemini 塞进了每一个产品缝隙里。搜索、眼镜、手机、开发者工具，全是 Gemini。 有媒体说「谷歌用 AI 杀死谷歌」，这个说法虽然夸张，但方向没错。Google 正在用自己的 AI 重新定义自己最核心的产品。 来源，36氪 / IT之家 2. Karpathy 官宣加入 Anthropic这条消息今天刷了两轮。先是 IT之家报了「OpenAI 联合创始人卡帕西官宣加盟 Anthropic」，然后 36氪也跟了一条「突发，Andrej Karpathy 官宣加入 Anthropic」。 你想想看，Karpathy 是谁？...

1146 个 upvote，Karpathy 一条 “I’ve joined Anthropic” 的推文直接炸了 Hacker News 首页。同一天，Google 甩出 Gemini 3.5 Flash 和 Gemini Omni 两个新模型，苹果在 WWDC 前夕发布了 Apple Intelligence 驱动的无障碍功能。AI 圈从来不缺大新闻，但今天这密度，属实有点离谱。 🔥 重点新闻1. Karpathy 加入 AnthropicAI 圈今天最大的新闻，没有之一。前 OpenAI 联合创始人、Tesla AI 总监 Andrej Karpathy 在推特上宣布加入 Anthropic。HN 上 1146 个 upvote，评论区直接炸了。 坦率的讲，这个选择挺有意思的。Karpathy 在 OpenAI 和 Tesla 都待过，最后选了 Anthropic，多少能说明一些问题。Anthropic 最近在安全研究和产品化上的节奏确实很猛，Claude Code 的口碑也起来了。大牛的去向往往是行业风向标，这次也不例外。 来源，Hacker News /...

百度交出了一份还不错的成绩单。 2026年Q1，百度营收321亿元，其中AI业务收入136亿元，占比超过四成。坦率的讲，这个数字放在两年前是不可想象的。AI从”烧钱讲故事”变成了”真金白银赚钱”，百度算是国内第一个跨过这道门槛的大厂。 有意思的是，百度喊出了一个新概念，叫「结果交付时代」。啥意思呢？以前AI公司卖的是能力，你调用我的API，按token收费；现在百度想卖的是结果，你告诉我你要什么，我直接给你交付成品。这个转变如果跑通了，对整个国内AI行业的商业模式都是一个冲击。 说到token，三大运营商也下场了。 9.9元起，运营商杀入AI算力市场移动、联通、电信集体杀入token生意，最低9.9元起步。你没看错，就是9块9。 这个价格直接把AI推理的成本打到了地板上。以前用大模型API，一个月动辄几百上千，现在跟交话费差不多。说实话，运营商这么做有天然优势，它们有遍布全国的边缘节点和海量带宽，做推理服务的成本结构比纯云厂商好得多。 以后用AI真的可能像交话费一样简单。这块的变化比很多人想象的要快。 DeepSeek融资，阿里向左腾讯向右DeepSeek的融资大戏终于有了新进展...

756 点。这是昨天 Hacker News 上 Elon Musk 起诉 OpenAI 一案败诉新闻的热度。一个持续了快两年的法律战争，终于画上了句号。 而就在同一天，Anthropic 宣布收购 API 工具公司 Stainless，Cloudflare 发布了新的 AI 安全研究报告，斯坦福的研究者发现 AI 被压榨时会表现出马克思主义倾向…… 今天这条日报，信息量有点大。 🔥 重点新闻1. Musk 起诉 OpenAI 案败诉这场官司打了一年多，从 Musk 指控 Altman 违反创始协议，到 OpenAI 反诉 Musk 骚扰，双方你来我往好不热闹。最终法院裁定 Musk 败诉。 坦率的讲，这个结果并不意外。OpenAI 在 2024 年完成营利化转型后，法律结构上已经很难挑出毛病。Musk 当年那份”创始协议”到底有没有法律效力，本身就存在巨大争议。 但这件事真正有意思的地方在于，它标志着 AI 行业的一个时代节点，曾经的理想主义者们分道扬镳，各走各的路，最后用法律来解决分歧。这比任何技术论文都更能说明 AI 行业的现状。 来源，TechCrunch http...

腾讯和阿里云同一天放大招，一个要做 AI 设计师，一个要做 AI 导演。微软 AI CEO 更是直接放话，18 个月内白领工作全部自动化。 这周的信息密度依然离谱。挑了 8 条值得聊聊的。 腾讯 Ardot 公测，一句话生成可编辑设计稿腾讯云正式公测自研 AI 设计智能体平台 Ardot。核心卖点很直接，你用一句话描述需求，它就能生成 App 页面、官网、海报等可编辑设计稿。更关键的是，它支持调用团队自有组件库生成规范稿，还能直接导入 Figma 文件保留原有设计。设计稿不满意？一键转代码。 坦率的讲，「AI 做设计」这个方向已经卷了很久，但 Ardot 踩中了一个真实的痛点，设计到开发的交接。如果真能做到「设计稿直接出代码」且质量可控，对中小团队的效率提升会很明显。 来源，IT之家 阿里云 HappyHorse 视频生成模型上线阿里云在 Model Studio 上线了 HappyHorse 视频生成模型。官方说法是「从原始提示词到 1080p 多镜头现实感画面」，听起来野心不小。目前有限时 8 折优惠。 国内视频生成赛道今年是真的卷，可灵、即梦、海螺、现在又来一个 Hap...

5天。苹果花了5年、砸了几十亿美元造的M5芯片硬件防线，Anthropic的Claude Mythos Preview只用了5天就捅穿了。 这不是电影剧本，是上周真实发生的事。 🔥 重点新闻1. Claude 5天攻破Apple M5 macOS内核，苹果五年防线一朝崩溃安全团队 Calif 用 Anthropic 最新的 Claude Mythos Preview，在5天内构建并演示了首个公开的、针对 Apple M5 芯片 macOS 内核的内存破坏提权利用链。 坦率的讲，这件事最让人不安的不是技术本身，而是速度。苹果的 MIE（Memory Integrity Enforcement）是硬件级安全方案，投入了巨大资源。但 Claude 从零开始，5天就绕过了整套防线。 所以呢？当AI的能力增长曲线远远超过防御工程的迭代周期，「安全」这个概念本身就需要被重新定义了。以前我们说安全是攻防博弈，现在攻方有了一个不知道累、不会犯低级错误、还能24小时不间断探索的帮手。 这不是危言耸听。这是正在发生的事。 来源，Anthropic Claude 5天攻破Apple M5 ma...

OpenAI 史上最大规模重组来了，Brockman 正式掌权。杭州拿到了国家级具身智能训练场。美国 AI 相关岗位的大规模裁员，终于不再是预测，而是现实。 这周科技圈的信息密度有点离谱。挑了 8 条值得聊聊的。 OpenAI 三线合一，Brockman 全面接管OpenAI 宣布了成立以来最大的组织架构调整，ChatGPT、Codex 和 API 三大核心产品线合并为统一组织。联合创始人兼总裁 Greg Brockman 正式全面接管产品战略。 ChatGPT 原负责人 Nick Turley 被调离核心岗位。 坦率的讲，这次重组的信号很明确，OpenAI 在加速商业化的同时，也在收紧决策链路。三线合一之后，产品方向的一致性会更强，但能不能保持之前各团队的创新活力，是个问号。 来源，IT之家 杭州启用国家级具身智能训练场国家人工智能应用中试基地（具身智能）5 月 16 日在杭州挂牌启用。这个基地集场景体验、技术展示、研发合作、产业赋能于一体，目标是推动具身智能从实验室走向现实应用。 杭州其实在 5 月 1 日就已经施行了首部具身智能地方条例。 你想想看，一个城市专门为机器人...

周六早上打开信息流，两条消息同时砸过来，一条是 OpenAI 史上最大规模重组，另一条是彭博社说美国 AI 相关岗位开始出现大规模裁员。 一个在抢方向盘，一个在丢饭碗。2026 年的 AI 行业，就是这么魔幻。 🔥 重点新闻1. OpenAI 大规模重组，Brockman 全面接管产品线OpenAI 宣布将 ChatGPT、Codex 和 API 三大核心产品线合并为统一组织，联合创始人兼总裁 Greg Brockman 正式全面接管产品战略。ChatGPT 原负责人 Nick Turley 被调离核心岗位。 坦率的讲，这次重组的信号很明确，OpenAI 在从「研究实验室」往「产品公司」的方向加速转型。Brockman 作为技术出身的联合创始人全面掌权，说明 Sam Altman 想要的是一个既能打仗又能做产品的 leader。三线合一，意味着 OpenAI 终于意识到产品之间的割裂在拖慢自己的节奏。 来源，IT之家 2. 美国 AI 相关岗位开始出现大规模裁员彭博社报道，受 AI 影响的职位正在经历严重的就业岗位流失。这不是「AI 会取代人类」的理论讨论了，而是正在发生的...

45天，1万颗星。 飞书开源的命令行工具 lark-cli 刚刚刷新了一个纪录，成为国内首个破万星的办公套件开源项目。这个数字本身不算惊天动地，但它背后折射出的趋势挺有意思，今天咱们就顺着这个聊聊。 飞书 CLI 破万星，AI 操作办公软件的范式在变飞书这个 lark-cli 做的事情说复杂也复杂，说简单也简单，让 AI 通过命令行直接操作飞书。建群、建文档、发消息，这些以前得在 GUI 里点来点去的事，现在一行命令搞定。 关键区别在哪呢？每一步操作都可预览、可审查。 这跟云端 MCP 那种「把请求丢过去，黑盒执行」的模式形成了鲜明对比。说实话我之前用 MCP 接飞书的时候，总觉得心里没底，操作了啥、改了啥，得翻日志才知道。lark-cli 这个思路更符合开发者的心智模型，所见即所得。 45 天破万星，某种程度上说明大家对「可控的 AI 操作」有多渴望。 来源，@AYi_AInotes MiniMax M2.7 上线 OrcaRouter，国内大模型接入又多一条路MiniMax 的 M2.7 模型正式登陆 OrcaRouter 平台，通过单一 OpenAI 兼容 API 就能...