人工智能代码编辑器 Cursor 背后的公司 Anysphere 已收购人工智能编码助手 Supermaven，收购金额尚未公开。
Anysphere 首席执行官 Michael Truell 在 Cursor 博客上宣布了这笔交易。他认为 Supermaven 将推动 Anysphere 加快推出 Tab AI 模型的新版。“我们有很多事情要做，而且看起来我们可以一起更快地构建一个更有用的产品。”Truell 表示 Supermaven 的插件将继续维护，但 Cursor 仍然团队的核心关注点。
Superrmaven 的创始人是 Jacob Jackson，他之前曾与他人共同创立了 AI 编码助手 Tabine，后加入 OpenAI。Supermaven 成立于今年 2 月，是一个类似于 Tabnine 的 AI 编码平台，其内部生成 AI 模型 Babble 可以同时理解大量代码，而且由于采用了定制架构，延迟极低。
2、纯血鸿蒙版微信开放不限量下载
据「快科技」报道，微信的鸿蒙原生版终于开放了不限量下载，这对于使用鸿蒙系统的用户来说是一个重大好消息。
这个版本的微信不仅包含了聊天、发图、视频通话等基本功能，还完善了一对一发红包、转账、分享名片、位置分享、查找聊天内容等高级功能。
新版本的快速迭代，使得纯鸿蒙手机用户能够更加便捷地使用微信，同时也标志着鸿蒙操作系统在应用生态建设上迈出了重要一步，为用户提供了更加完整的移动体验。
3、Grok-3 疑似证明黎曼假设，已被暂停训练
马斯克 xAI 实验室的研究员 Hieu Pham 在 X 上发文称其开发的人工智能模型 Grok-3 已经证明了数学界长期以来悬而未决的「黎曼猜想」。
这一消息引起了广泛关注，因为如果证明被确认为正确，这将是一个极其重大的数学突破。
作为预防措施，团队决定暂停对 Grok-3 的进一步训练，以检查其证明的正确性。
并且，如果证明确实无误，他们计划不再继续训练该 AI，因为担心其过于高级的智能可能对人类构成潜在威胁。
不过从评论区用户的反馈来看，这似乎只是一个「很幽默的玩笑」。
4、月之暗面发布 k0-math 数学推理模型
Kimi 发布了其新一代数学推理模型 k0-math，该模型在多个数学基准测试中展现出了卓越的性能，其数学能力可以与 OpenAI 的 o1 系列模型相媲美。
在中考、高考、考研以及入门级竞赛题的 MATH 测试中，k0-math 的初代模型成绩超过了 o1-mini和 o1-preview 模型。在更高难度的 OMNI-MATH 和 AIME 竞赛级数学题库中，k0-math 的表现也达到了 o1-mini 最高成绩的 90% 和 83%。
此外，Kimi 探索版通过强化学习技术在搜索体验上取得了创新，特别是在意图增强、信源分析和链式思考三大推理能力上实现了突破。
Kimi 的创始人杨植麟博士表示，k0-math 模型和更强大的 Kimi 探索版将在未来几周内陆续上线 Kimi 网页版和 Kimi 智能助手 app，旨在帮助用户解决更具挑战性的数学问题和搜索调研任务。
5、字节视频生成模型 PixelDance 上线即梦 AI
深圳市脸萌科技有限公司（原Dreamina）旗下的即梦 AI 平台 15 日宣布了其两大视频生成模型 S2.0 Pro 和 P2.0 Pro 的正式全量上线。
用户进入即梦 AI 的「视频生成」界面，在视频模型中选择「视频 P2.0 Pro」或「视频 S2.0 Pro」即可分别体验字节跳动的视频生成模型 PixelDance 和 Seaweed。
P2.0 Pro 以其极高的提示词遵循能力，能够精确响应复杂指令，并在一句提示词内实现多个镜头切换及多镜头组合，保持视频内容的连贯性和一致性。
S2.0 Pro 则以其首帧一致性和效果稳定性而著称，能够在 i2v 场景下保持与用户输入图的一致性，并精确复制色彩和光影变化，同时融入自己的理解，赋予创意新的生命和动感。
6、小米驾校真的来了！雷军宣布小米内部精英驾驶培训将逐步向用户开放，首批开放Ultra用户
11月16日上午，小米集团董事长兼CEO雷军宣布小米内部的精英驾驶培训，将逐步向用户开放，首批先开放给 Ultra 小定用户，12 月开始招募，培训内容包括高级驾驶技巧、赛道训练、赛车证培训、漂移等。
10月29日，雷军正式向公众介绍了小米SU7 Ultra量产版。雷军在小米发布会上称将推出小米驾校供大家学习，他表示：“我们很多人拿到驾照以后，其实不是真的会开车。所以我们有高级驾驶培训，有赛道驾驶培训，有漂移培训，到时候会把它开放给我们的车主朋友们，让大家都有机会接受好的培训。”
随后，雷军发文透露，小米SU7 Ultra目前已有10%女性用户预定。雷军表示“这个结果让我非常惊讶。我们调研小定的女性用户，她们乐观自信，驾驭高性能车也能从容不迫，Ultra 这样霸气的车被誉为大女主座驾。”（三言科技）
7、300元抢6399元电车提车被拒，九号电车公司回应：运营同学设置失误，损失高达200万元，公司承担
近日，有媒体报道称，河南郑州一名大学生小陈双11凌晨1点拼手速300元抢到6399元九号电动车，当天10点去线下门店提车却被拒。小陈表示，“官方第一次告诉我们说这个是定金，第二次说是挡风被，第三次却告诉我们要退一赔二”。小陈还表示，他所在的九号电动车维权群有88人都提不到车。
与小陈情况一样的是，11月9日凌晨，无锡冯先生也在直播间看到九号电动车的双十一活动，原价6399元的电动车，直降优惠6099元，只要300元。冯先生赶紧下单抢购，第二天就到实体门店去提车。但冯先生表示，门店方面要求他稍等，因为感到这张券有异样。果不其然，九号电动车的公司给来了回复，称券不能核销，先“打发”顾客离开。
和冯先生一样，安徽马鞍山的王先生同样在直播间抢到了提车券。在线下门店提车时，九号电动车公司也表示拒绝。王先生表示：“商家把我所选的电瓶车拿出来组装电瓶，然后商家把核销码发到九号公司后台，财务说不允许核销，是搞错了。”
九号电动车线下门店工作人员则表示，“他300元就想把6399的车提走，你认为可能不可能？”线上客服则称，300元是定金，但在页面上没有显示“定金”字样，对于消费者造成了一定误会。九号公司工作人员15日表示， “公司将承担所有损失，我们目前统计大概有400至500名消费者购买，我们都将全部兑现。”他表示，涉事电动车原价一般在6099元，此次公司预计损失达到200多万元。（中新经纬、潇湘晨报）
