新智元报道 人类证出来的最难素数定理，AI 刚从头验了一遍。 结论是：证明成立，逻辑无误。 8 月 17 日，由一位 25 岁广州女孩创立的 AI 公司 Axiom Math 宣布，自家系统 AxiomProver 完成了「246 定理」的形式化验证。 论文地址：https://primegaps.
智通财经 APP 获悉，在可穿戴设备市场陷入硬件参数内卷的当下，谷歌(GOOGL.US)选择了一条差异化的突围路径——用 AI 重新定义健康监测的边界。当地时间 8 月 12 日，谷歌在纽约 Made by Google 发布会上正式推出 Pixel Watch 5 智能手表，其搭载的“健康卫士”(
昨天小雷刷到吴恩达在 X 上的一篇推文，讲的是 Agent 的 Loop（循环）工程。 图片来源：X 如果你最近半年用过 Claude Code、Codex、Workbuddy、Kimi Work 或者其他 Agent 产品，你可能已经感受到了那种变化——相比过去一句一句教 AI 干什么，现在你把需
估值已是百度的 1.32 倍。 作者｜刘钦文 编辑｜高远山 百度养的"芯"儿子，准备上桌吃饭了。 据“财通社”报道，昆仑芯（北京）科技股份有限公司计划赴港上市，目标估值约 500 亿美元。实际上，这并非昆仑芯首次向港交所递表。早在 2026 年 1 月 1 日，昆仑芯已通过联席保荐人以保密形式向香港
文 | Edu 指南 如果把这两年的教育焦虑切开来看，会发现几条线索正在交叉叠加：一边是 AI 大模型快速“入侵”课堂，硅谷创业者不断喊出“学校已经过时”；另一边，是家长拼命把孩子往前推，早教、识字、编程一个不落；再往下，是老师的无力感——学生为什么越来越不爱学了？ 在近日与 Edu 指南的对话中，
6 月 24 日晚间消息，今日，腾讯内部正式发文称，王慧星晋升成为腾讯副总裁，分管腾讯云云产品二部、云产品四部、云产品技术支持部、云技术运营服务部，以及腾讯云安全，虚线分管云产品一部，直接向汤道生汇报。 据百度百科，王慧星自 2004 年起任职于腾讯云计算（北京）有限责任公司，担任腾讯云副总裁。他主
车东西（公众号：chedongxi） 作者 ｜ 张睿 编辑 ｜ 志豪 6 月工信部“车展”来了！ 车东西 6 月 20 日消息，国家工信部发布了第 396 批《道路机动车辆生产企业及产品公告》，其中有多款重点品牌的热门车型。 ▲工信部发布第 396 批《道路机动车辆生产企业及产品公告》 车东西在进行
文 | 大V商业，作者 | 周铭 吉姆·柯林斯在《巨人如何倒下》中描述到——“成功滋生傲慢”，过去多年持续的营收增长等亮眼成绩，或许在某种程度上掩盖了企业内部逐渐滋生的问题。 这种傲慢削弱了企业对内在隐患的敏感度，直至外部竞争压力和市场变局将其逼至不得不变革的边缘。 阿里巴巴，正站在这个临界点上。