著名数学家陶哲轩表示，尽管人工智能在许多领域展现出惊人能力，但在数学领域，它仍然缺乏一种关键的“嗅觉”——即辨别错误方向和错误证明的人类直觉。他认为，这种直觉是人工智能目前无法复制的，也因此，人类在数学判断中依然扮演着不可替代的角色。

据了解，阿里巴巴此次推出的Qwen3系列模型基于MLX框架进行了深度优化。该系列每款模型均提供4bit、6bit、8bit和BF16等4种不同精度的量化版本，这意味着共有32款官方的Qwen3MLX模型一次性全开源。

Glean 是一家专注于企业级 AI 搜索的平台，近日宣布完成了1.5亿美元的 F 轮融资。这轮融资使其估值在不到一年的时间内，从46亿美元跃升至72亿美元。这一消息引发了业内的广泛关注。

近日，极氪汽车与火山引擎宣布达成合作，将 最新 的豆包大模型接入到其 ZEEKR AI OS 的新版中。这一合作将带来更为智能化和个性化的用户体验，极大提升了极氪智能座舱的服务能力。

TikTok 近日宣布推出三款开创性的 AI 视频创作工具，旨在简化品牌广告内容的制作流程，使其更易于在平台上传播。这些新功能将集成到 TikTok 的 Symphony Creative Studio 中，并将在未来几周内面向全球广告商推出。

视频中，“肥娟小吃”夫妇表示，此前他们的确说过不会卖货，如今也不再嘴硬，确实开启了带货之路。他们诚恳地说，要是有人觉得被他们骗了，在此说声对不起。夫妇二人解释道，之前不想利用网友们的感动去带货，但如今他们有了新的想法，想通过带货赚钱，让小店能够一直经营下去，让家人过上更好的生活。

今日，特朗普集团宣布推出名为特朗普移动 (Trump Mobile)的自有品牌移动网络服务，同时发布T1 Phone智能手机。 T1 Phone将在美国制造，售价499美元（约合3582元人民币），预购需支付100美元首付，将于9月上市。 ...

然而，最令人期待的莫过于小米 首款 真AI眼镜的 首次 公开亮相。据知名博主数码闲聊站透露，这款AI眼镜的市场定位将对标Meta雷朋，后者目前是全球范围内销售表现 最佳 的AI眼镜产品。

近日，人工智能领军企业商汤科技与山东东明石化集团、北京好雅创新科技有限公司正式签署战略合作协议。此举旨在共同推动人工智能在石化产业的创新与发展，并将共建石化AI大模型联合实验室，助力石油和天然气行业实现全面智能化转型。

今年1月，DeepSeek发布的R1模型不仅是一次普通的AI公告，更被誉为科技行业的“分水岭”，其影响力震动了整个科技行业，迫使行业领导者重新思考AI开发的基本方法。DeepSeek的非凡成就并非源于新颖的功能，而是它以极低的成本实现了与科技巨头相媲 ...

英国电信（BT）最近宣布了一项大规模裁员计划，预计在本十年末之前将裁减多达55，000名员工。该公司的首席执行官艾莉森・柯克比 (Allison Kirkby)在采访中表示，随着人工智能技术的快速发展，未来可能会有更多的裁员。

在法国巴黎VivaTech大会上，英伟达首席执行官黄仁勋对Anthropic首席执行官达里奥·阿莫迪此前关于人工智能（AI）的言论进行了公开反驳。此前，Meta公司AI首席研究员Yann LeCun也已对阿莫迪进行了数周的批评。