8 月 2 日消息，OpenAI 周六公开十项数学与理论计算机科学成果，同时放出 249 页论文、62 页推理说明和一套 Lean 4 形式化证明。不过生成这些结果的下一代模型 Astra 仍是内部版本，没有随之开放。 据 OpenAI 介绍，Astra 生成数学论证后，人类与模型共同将其整理成论文
作者｜郭月 编辑｜志豪 一、零跑月销首破 10 万创新高三家新造车同比翻番二、7 家新造车没扛住销量走跌小米有望 9 月改变战局结语：下半年车市竞争将更激烈 8 大新势力品牌月销超 3 万台，7 家环比走跌，新造车 7 月份怎么了？ 车东西 8 月 1 日消息，就在今天，14 家车企交出 7 月销量
每日经济新闻综合 小米手机涨价引发关注。 8 月 2 日，小米商城价格显示， 多款主力机型上调 300 元至 500 元不等 。 REDMI Turbo 5： 从 2299 元起上涨到 2599 元起 REDMI Turbo 5 Max： 从 2499 元起上涨到 2799 元起 REDMI K90
文 | 字母 AI 一本厚书被推进液压切纸机，压板落下，刀片切下，书脊被干脆利落地削掉。原本连接在一起的书页变成整齐的一沓纸张。 如果没有任何解释，看到这样一段视频，你甚至可能会觉得“引起舒适”、非常解压。 可如果告诉你，AI 公司正在用这套办法成批处理纸质书，其中还可能包括冷门书和绝版书，相信你八
文 | 听潮 TI，作者 | 许雯雯，编辑 | 张晓 飞书正经历着一次重要的身份转换。 7 月 30 日，字节跳动面向 AI 业务启动了新一轮组织调整，飞书团队被拆分成两个部分，分别与豆包和火山引擎团队整合。 具体来看： 飞书的产品团队与豆包产品团队整合，成立新的豆包产品团队；飞书的 GTM（市场、
文 | 听风译码 8 月 1 日，阿里巴巴主席蔡崇信与妻子吴明华宣布结束近 30 年婚姻。 125 亿美元身家，阿里股价纹丝不动，篮网股权不拆，球队运营不变。 全网摆好了吃瓜的姿势，结果发现没瓜可吃。 两个月前，胜宏科技董事长被曝出轨，三天市值蒸发 314 亿元。 同样是企业家的私事，为什么有人波澜
文 | 听风译码 7 月 31 日，特斯拉中国推送了一条看似普通的 OTA 更新。 2026. 14.13 版本，覆盖 Model 3、Model Y、Model S、Model X 全系车型。 已开始分批次推送，新交付车辆优先搭载。 更新说明里有一条不太起眼的内容：接入豆包大模型。 一款智能语音助
文 | 道总有理 最近，大众集团宣布计划大幅削减产品阵容，未来可能砍掉多达一半车型。 这不是第一家要实行“精简主义”的车企。除大众之外，丰田也在重新检视现有产品策略，未来或许要通过精简车型与等级配置，降低开发成本，提高整体盈利能力。而奔驰、日产、福特、长城、吉利、长安也陆续告别车海战术。 精简、剥离
文 | 象先志 昨天，Qwen-UI-Agent 的官方页面放出了一段演示。 AI 先打开抖音，搜索“百香果酸汤牛肉”收藏量最高的图文，收藏，记下配料；接着跳进盒马，把调料之外的食材放进购物车，预约当天 18:45 送达。 之前，豆包手机最出圈的演示也差不多。用户说一句话，手机自己打开不同 App，
文 | 一刻商业，作者 | 麦卡，编辑 | 以安 作为曾经的字节六大 BU 之一，飞书迎来了新的调整。 自 2021 年实行业务板块化以来，飞书与抖音、大力教育、火山引擎、朝夕光年、TikTok 并列，独立运行至今。 如今，飞书一部分能力嵌进豆包，一部分能力嵌进火山引擎。 7 月 30 日，字节跳动