行业观察

数学领域正经历一场前所未有的变革——一款名为“Astra”的人工智能模型，以仅相当于一台高端笔记本电脑的成本，在短时间内攻克了十个长期困扰学界的数学难题。这一突破不仅刷新了人们对AI能力的认知，更引发了关于数学研究范式转型的深刻讨论。当“极低成本”与“批量突破”同时出现，数学界不得不重新思考：人类是否已站在理性认知的“奇点”门槛前？此次突破涉及高维几何、编码理论、群论等十个数学分支，其中多数问题的

首届全国青少年人工智能大赛决赛在上海圆满收官。作为首个落地上海的自然科学类“白名单”赛事，这场为期三天的科技盛会不仅为全国青少年搭建了交流平台，更通过4万余名参赛学生的表现，展现了人工智能教育在全国范围内的均衡发展态势，打破了传统认知中“东部强、西部弱”的刻板印象。从参赛数据来看，西部地区对人工智能教育的热情令人瞩目。贵州以超过1700名参赛者跻身第一梯队，新疆、甘肃、重庆等地紧随其后，形成中部与

在具身智能领域，数据正逐渐取代模型成为推动技术进步的核心要素。近年来，随着OpenVLA、GR00T等项目的突破，行业对机器人能力的认知发生深刻转变——模型规模与算力固然重要，但高质量数据才是决定模型性能上限的关键。这种认知转变催生了新的技术范式：从单一数据记录转向构建完整的机器人数据采集技术栈。传统数据采集方式往往局限于记录视频或机械臂轨迹，现代数据工程体系则要求同步采集机器人状态、传感器数据、

OpenAI近日在官方网站发布消息，其新一代人工智能模型系列被命名为“Astra”。该公司透露，其中一款处于内部测试阶段的模型已成功解决或推动了10道长期困扰数学界的难题，完成这些推理任务所需的词元成本约为2000美元。这些数学难题涉及高维几何、编码理论、群论、量子复杂性、格密码学和极值组合数学等多个领域。例如，该模型为高维球体最密堆积问题提出了新的上限，证明了“非sofic群”的存在，并在与后量

实际维护中，清洁后返脏问题常集中于夹具边一侧。此时，现场照片需补充周边夹具与固定边的距离数据，以判断防护服开口设计及余量是否合理。若旧痕迹与新照片存在差异，维护人员需返回现场复查夹具边与固定边的实际状态，避免仅凭记录草率下结论。例如，某工厂曾因忽略固定边活动空间，导致防护服频繁磨损，最终通过调整安装位置解决了问题。防护服资料管理需严谨，型号资料、旧件照片、现场照片及数量确认需相互印证。仅提供名称或

在近日落幕的人工智能产品应用博览会上，一场关于产业智能化转型的深度对话引发广泛关注。这场聚焦AI技术落地实效的行业盛会，吸引了政企决策者、技术专家及数字化服务商齐聚一堂，共同探索人工智能与实体经济融合的创新路径。其中，通付盾科技凭借其自主研发的LegionSpace企业级多智能体协同系统，成为全场焦点之一。展会期间，通付盾创始人汪德嘉博士在主论坛发表主题演讲，直指当前AI产业发展的核心矛盾。他以金

Snap公司即将为其首款面向大众市场的AR眼镜Specs举办专项展示活动，这一消息引发了科技界的广泛关注。公司首席执行官埃文·斯皮格尔在近期财报电话会议上透露，该活动将于9月16日举行，旨在向消费者全面展示这款创新产品的独特魅力。Specs智能眼镜定价高达2195美元（约合人民币14838元），被斯皮格尔形容为"高决策成本产品"。他强调，消费者在购买前需要充分理解其价值，因此实际体验至关重要。这款

国家网信办近期针对恶意炒作涉企信息、破坏营商网络环境的行为，启动了“清朗·优化营商网络环境”专项整治行动。通过多部门协同和地方网信办的线索收集，一批严重侵犯企业及企业家合法权益的违法违规账号被依法处置。以下为部分典型案例通报。账号“电车小飞”在微博、抖音、小红书等平台发布针对某汽车企业的误导性内容，通过捏造事实、恶意贬低企业商品声誉和商业信誉的方式谋取流量利益。经核查，该账号存在系统性抹黑行为，相

近日，“小米澎程”微信公众号发布消息称，多家海外权威媒体对小米SkyNomad系列车型给予了高度评价，引发行业广泛关注。这一系列车型凭借创新设计与技术实力，在国际市场收获了广泛认可。丹麦知名科技媒体Mobilsiden.dk在报道中直言，小米作为电动汽车领域的新晋厂商，其发展速度令人惊叹。该媒体指出，小米进军汽车行业时间虽短，但已迅速推出全新电动汽车系列，仅从参数表现来看，SkyNomad系列已展

快科技8月4日消息，工信部发布2026上半年通信行业数据，国内5G建设和用户普及速度持续走高，不管是基站数量还是5G手机用户规模，都刷新了历史新高。到6月末，全国5G基站总量达到510.2万个，上半年新增26.3万个。现在每10座移动基站里，就有接近4座是5G基站，占比39.1%，对比一季度还涨了0.9个百分点，城乡、乡镇的5G信号覆盖范围一直在拓宽。全国所有移动电话用户一共18.44亿户，其中5

今天有个 AI 研究员发信息给我说，这是她入行以来最好的夏天。DeepSeek-V4-Flash 正式版发布了，性能超过此前的 V4-Pro-Preview。 基准测试成绩甚至能和 Claude Fable 5 放在同一张表里比较。 一个总参数 284B、激活参数仅 13B 的 “ 轻量版 ” 模型在多项任务上追平了那个曾经遥不可及的 Opus 4.8。 更离谱的是价格，Flash 版便宜到令人发

近日，一位名为方桃子的AI短剧女主角因商业报价引发广泛关注。这位由人工智能生成的虚拟角色在短视频平台迅速走红，其60秒广告报价高达25.8万元，甚至超过部分千万粉丝量级的真人网红，成为数字时代内容产业的新现象。方桃子诞生于AI短剧《被裁掉的女孩》，该剧以职场新人奋斗历程为主线，讲述主角方桃子怀揣模特梦想在大城市打拼却遭遇裁员、资源争夺等困境的故事。真实细腻的剧情引发年轻群体共鸣，上线仅一个月便在抖

OpenAI 的第一款 AI 浏览器，或许也是最后一款，下周就要正式停服了。今年 7 月 9 日，OpenAI 在 ChatGPT 更新日志里悄悄写下一行字：「Atlas 将于 8 月 9 日停止运行。」没有发布会，没有告别视频，就像它当初上线时一样低调。Atlas 去年 10 月才刚刚发布，是一款基于 Chromium 构建的 macOS 专属浏览器，把 ChatGPT 整合进地址栏和侧边栏。付

折腾了九个月之后，OpenAI 即将彻底关停浏览器产品 Altas， 这基本不让人意外，早在五月前 OpenAI 发布 Codex 的 Chrome 插件时，就已经有群众在评论区「预演」了 Atlas 的命运。2025 年 10 月，OpenAI 发布 Atlas，浏览器是用户的工作、工具与上下文汇聚的地方，一款以 ChatGPT 为核心构建的浏览器，可以让 AI 更接近真正的「超级助手」。当时

2026年08月04日 16:17:57在体重管理领域，“多燕瘦”（DYESOO）是一个绕不开的名字。作为亚洲瘦身女王郑多燕于2015年创立、隶属BFB HEALTH港股上市公司的全球体重管理品牌，它已经深耕赛道十年。对于“多燕瘦减肥管用吗”这个问题，简单的“有用”或“没用”都无法给出负责任的回答。我们需要从科学原理、产品矩阵、成分数据、临床验证以及用户使用逻辑等多个维度，进行一次客观、深度的专业