首先， Edge 浏览器新增了媒体控制中心功能。 该功能允许用户在单个界面中控制来自任何网站的多个媒体源。媒体控制中心按钮将出现在工具栏上（显示为一个带有音符的图标），用户可以通过它启动画中画模式、将媒体内容投射到其他设备、控制音乐或视频播放等。

【新智元导读】最近，30位世界顶尖数学家亲自出马，在UC伯克利对OpenAI o4-mini展开「围剿」，两天连出教授级难题，结果却当场集体「破防」！有人直言：这个AI，的确已接近数学天才的水平。曾经以为AGI遥遥无期，如今仿佛只剩临门一脚了…… ...

它的核心产品是一个支持自然语言编程的 IDE，除了支持多模型，还包含自主研发的 Cascade Agent、Supercomplete 补全系统和实时预览功能。从 VS Code 插件一路升级为独立平台， Windsurf 算是「AI-native ...

微软 于6月6日正式宣布，其环保项目” 电子树 （ E-tree ）”将于2025年7月4日全面停止运营，所有未完成的虚拟树培育进度届时将永久失效。这项被称作”微软版蚂蚁森林”的计划允许用户通过Microsoft ...

值得一提的是，不止AI领域，谷歌在搜索市场的霸主地位十年来也遭到了挑战。自2015年，谷歌搜索市场份额从未跌下90%的神话被打破了。2024年的最后三个月，谷歌搜索市场份额依次为89.34%、89.99%和89.73%。

近日，教育部等九部门联合发布《关于加快推进教育数字化的意见》，明确提出推动AI与教育教学深度融合。在此背景下，6月6日，海口经济学院人工智能技术教师专修工作坊开班，助力该校在教育数字化转型赛道上加速发力。

AI编程工具Windsurf，近期在开发者圈中话题不断。但还没等到与OpenAI的合作尘埃落定，Windsurf就先遭遇来自Anthropic的“迎头痛击”——旗下热门Claude模型的API访问权，遭到几乎无预警地全面削减。

技术的加速，只是时代的一副面孔。它的另外一副面孔是人们的日渐忙碌。科技越来越强，机器不断取代人工，为什么人类却越来越忙？祖辈也常常难以理解，为什么孙辈开着飞快的车，却没时间回家吃饭？用的是最省时的工具，不再需要手写、手算、手做，却还要深夜加班？

在生成式 AI 重塑搜索形态的当下，Perplexity 正以“答案”为核心，重构信息入口。它不是聊天机器人，也不是传统搜索引擎，而是一种 “认知界面”——通过自然语言对话，为用户提供可验证、可引用的真实答案 。

Anthropic“断供”Windsurf，表面上是一次商业决策，实质上反映了AI大模型时代的新型竞争格局。当基础模型成为稀缺资源，当下游应用高度依赖上游能力时，控制模型访问权就成为了强有力的竞争武器。

在此背景下，6月6日下午，海口经济学院人工智能技术教师专修工作坊正式启动，助力该校在教育数字化转型赛道上加速发力。

中国信托投信基金经理人叶松炫也表示，随AI需求持续扩张，旧世代半导体市场可望在下半年回稳，半导体设备商的基本面也有望触底反弹。目前全球前五大半导体设备商的股价本益比低于五年平均，显示估值仍具吸引力。若市场因关税等短期因素出现波动，投资人则可採取渐进式布局，透过半导体相关ETF如中信上游半导体（00941）等，参与产业长期成长。