行业观察

快科技8月2日消息，今日，由东方甄选前员工孙东旭、明明、天权联合打造的直播间美丽明天”迎来首播。直播开播后热度快速走高，直播间在线人数突破10万，登上抖音带货总榜首位，实时热度数据超过同时间段排名第五的与辉同行”。榜单实时数据显示，美丽明天热度值达到706.1W，本场主推茶颜悦色面包丁海盐产品。据企查查APP信息显示，美丽明天（北京）科技有限公司于7月10日正式注册成立，注册资本1000万元，注册

在数学研究领域，一项由人工智能驱动的突破性进展引发了广泛关注。某知名人工智能研究机构宣布，其尚未正式发布的下一代模型在解决多个长期悬而未决的数学难题上取得了实质性进展。这些成果覆盖了高维几何、编码理论、群论、量子计算等多个数学分支，其中部分问题的核心结论已停滞数十年之久。该模型在内部测试中，针对十个具有代表性的开放性问题展开研究，成功生成了具有创新性的数学论证。这些问题包括构造非sofic群、推翻

8月2日消息，日前，DeepSeek宣布，DeepSeek-V4-Flash正式版API开启公测。随后，国家超算互联网宣布，DeepSeek-V4-Flash正式版模型DeepSeek-V4-Flash-0731已正式上线，同步提供API调用服务及模型文件。据介绍，国家超算互联网现面向企业和开发者开放该模型的API调用服务，无需进行繁琐的环境配置，即可快速接入使用，为各行业提供高性能、安全可靠且普

科技领域动态持续引发关注，近日，追踪科技公司高管动向的账号Big Tech alert发布消息称，埃隆·马斯克已关注了AI公司DeepSeek的X平台账号。这一举动迅速引发外界对双方潜在合作或技术交流的猜测。DeepSeek于7月31日通过API文档更新日志宣布，其最新模型DeepSeek-V4-Flash正式版API正式开启公测。该模型凭借高性价比优势在AI社区引发广泛讨论，相关公告在X平台发布

8月1日消息，赶在7月最后一天，DeepSeek终于拿出了V4正式版，首发的只是V4 Flash-0731，Pro正式版要到8月初，会随着DeepSeek的Harness工具一起问世。V4 Flash-0731发布之后，之前还因为DeepSeek跳票而把梁文锋称为小梁、梁白开的网友马上恢复了梁圣的称号，因为它的表现超过了预期，官方测试性能超过了GLM-5.2，比Opus 4.8低一些，部分测试甚至

8 月 2 日消息，据科技媒体 9To5Mac 今天报道，苹果在 2026 财年第三季度财报电话会议中透露，MacBook Neo 笔记本在 K-12 教育市场表现出色，正在快速取代 Windows 笔记本和谷歌 Chromebook。从原报道获悉，苹果在会议中重点分享多个大型教育机构转向 MacBook Neo 的案例：佛罗里达州最大学区之一皮涅拉斯正在让旗下 18 所高中、2.5 万名学生从

Jay 发自 凹非寺量子位 | 公众号 QbitAI旧金山也有人形机器人帮你干家务了。不错，再次向进家庭迈出了重要一步，毕竟。。。这哥们能自己洗手啊！！！自动播放太神了，挤洗手液、关水龙头……最后还知道拿帕子擦一下。就是长得有点奇怪，脑袋顶个Wi-Fi路由器，天线宝宝是吧。也不影响干活就是了。这个拖地的demo很有意思，拖着拖着看见地上有垃圾，会弯腰捡起来，转身走两步扔进垃圾桶里。难道，这就是妈妈

凤凰网科技讯 8月2日，小米手机旗下多款主力机型正式开启新一轮涨价，调价范围覆盖小米17系列、REDMI K90全系及Turbo 5等多款热门走量产品，全线涨幅300元起，其中小米17 Pro Max涨幅最大，上涨500元。具体调整为：REDMI Turbo 5起步价上调至2599元，Turbo 5 Max上调至2799元；REDMI K90、K90 Max、K90至尊版分别上调至3099元、34

美国旧金山一家名为Tau Robotics的机器人初创企业，近日正式推出人形机器人家政清洁服务，引发科技与生活服务领域的广泛关注。这项服务以每小时30美元的价格面向市场，按当前汇率计算约合人民币202.9元。公司联合创始人兼首席执行官Alex Koch透露，首批客户群体主要集中于两类人群：长期未使用传统家政服务的家庭，以及日常清洁频率较低的上班族。他特别强调，当前业务重心在于开拓新兴市场，而非与传

凤凰网科技讯 8月2日，小米汽车昨晚发布了答网友问（第265集），针对澎程系列新车的滑轨和座椅旋转与市面其他车的区别、澎程驾驶体验、小米龙甲电池55摄氏度热失控无热蔓延是什么意思等问题进行了解答。市面上挺多车都有滑轨和座椅旋转，小米澎程有什么不一样吗？小米汽车表示，以N90 Max举例，小米澎程N90 Max配备6根超长滑轨，其中座椅滑轨最长可达1938mm，二三排座椅滑移距离都可分别达到900m

旧金山一家初创公司推出的家用机器人服务引发关注，其核心亮点在于通过人形机器人完成家庭清洁任务。这项服务由Tau Robotics公司开发，目前处于测试阶段，仅向特定用户开放预约。机器人头部配备的圆柱形装置因形似无线路由器引发讨论，公司创始人解释称该设计是出于信号传输需求的最优解。该公司的技术路线与常规自主机器人不同，采用远程操控模式实现功能演示。操作人员通过实时控制完成挤洗手液、整理杂物等复杂动作

8 月 1 日消息，关注科技公司 CEO 和高管动态的账号 Big Tech alert 今早发布提醒消息，埃隆 · 马斯克刚刚关注了 DeepSeek 的 X 账号。DeepSeek 昨日（7 月 31 日）通过 API 文档发布日志，宣布 DeepSeek-V4-Flash 正式版 API 上线公测，凭借超高性价比再次引爆 AI 圈。注意到，DeepSeek 宣布 DeepSeek-V4-Fl

机器之心编辑部一道困扰学界几十年的开放问题，需要多少成本才能取得关键突破？OpenAI 给出的答案是，十道题加起来，约 2000 美元。昨天下午，OpenAI 公布了一份颇为惊人的成绩单。其下一代主要模型 Astra 的内部版本，在高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合等领域，给出了十项新的研究结果。其中一些问题至少十年没有取得核心进展，另一些已经悬而未决数十年。

DeepSeek在人工智能领域再次引发关注，其最新发布的V4 Flash-0731模型凭借出色表现迅速成为焦点。这款轻量级模型在性能测试中展现出超越预期的实力，官方数据显示其综合表现已超过GLM-5.2，仅略逊于Opus 4.8，部分测试场景甚至能与之比肩。这一成果直接扭转了此前因跳票引发的舆论风向，原本戏称创始人梁文锋为"小梁"的网友，纷纷改称其为"梁圣"。性能对比数据来自第三方平台Artifi

这两天AI行业的画风十分微妙。一边OpenAI下调模型价格，另一边智谱上调GLM 5.2相关服务定价。与此同时，DeepSeek-V4-Flash昨天下午上线公测，官方称其Agent能力大幅增强，在多项基准测试中表现远超V4-Pro-Preview及智谱GLM-5.2等模型。随后，OpenAI又公布了一组关键数据：旗下模型活跃用户突破10亿，服务企业客户超200万家。此前，OpenAI下调GPT-