华为预热Mate70系列AI功能卖点丨ChatGPT桌面版支持调用老牌编程工具丨月之暗面发布「k0-math」数学推理模型

AI奇点网2024年11月20日报道丨AI资讯早报

华为预热Mate70系列AI功能卖点

11 月 19 日这天，华为终端官方接连发布了三条关于 Mate70 系列新机特性预热视频，Mate 70系列是华为在手机操作系统和芯片领域自给自足的集大成者，该系列将是首款上市即搭载鸿蒙原生操作系统的手机。

三个视频分别是：

一抓一放、掌控全场：可能暗示了全新的隔空手势不可思议，分身有戏：预计指新机可拍摄分身照片或视频内容见所未见，仅你可见：预计指新机可自动识别机主身份，在其他人出现时自动隐藏手机画面或通知内容

在发布的“一抓一放、掌控全场”视频中，视频中人物可以通过抓放动作轻松控制设备。这一功能可能是通过AI识别手势动作技术来实现，让用户无需手指接触屏幕即可完成隔空的多种操作，如切换APP、相册切换图片、控制音乐播放等等。

“不可思议，分身有戏”可能是指Mate70系列可以拍摄分身照片或视频内容。该功能往往利用了AI抠图的影像技术，允许用户在同一张照片或视频中多次出现，增加拍照的趣味性和创意性。

“见所未见，仅你可见”可能是指新机可以自动识别机主的脸部ID身份信息，在其他人出现时自动隐藏手机的主要画面或通知。

预热视频展现了华为 Mate70 系列手机在体验功能交互方式上的创新，以及其在AI影像功能和隐私管理方面的新特性。

华为 Mate70 系列新品目前已经在各大电商开启预订，将于 11 月 26 日举行新品发布会。

目前，华为商城官网已开放Mate 70、Mate 70 Pro和Mate 70 Pro+三款机型的预订，截至发稿，Mate 70机型的预约量已突破234万人次。

ChatGPT桌面版打通老牌编程工具，距离AI接管电脑只差一步

11月15日，OpenAI宣布对ChatGPT桌面版发布功能更新。其中，新上线了Windows桌面客户端，并且针对早前上线的Mac客户端发布了新功能。

现在，MacOS平台的开发者可直接从ChatGPT桌面客户端跳转访问Visual Studio Code、Xcode和Terminal等知名的编程工具软件，无需再从ChatGPT将代码复制到开发工具内，减少了来回切换，简化了开发工作流程。

在官方的演示里，用户可以直接在ChatGPT桌面端启动并同时调用多个不同的主流编程工具，实现编写代码并行其他的AI问询任务，无需切换应用，有效提高了开发效率。

月之暗面发布「k0-math」数学推理模型

11月16日，国内人工智能大模型创业公司月之暗面基于Kimi Chat大模型发布了新一代的数学推理模型k0-math。基准测试显示，Kimi k0-math的数学能力可对标全球领先的OpenAI o1系列已经公开的两个模型版本：o1-mini与o1-preview。

在中考、高考、考研以及包含入门竞赛题的MATH等4个数学基准测试中，k0-math初代模型成绩超过o1-mini和o1-preview。

在两个难度更大的竞赛级别的数学题库OMNI-MATH和AIME基准测试中，k0-math初代模型的表现分分别达到o1-mini最高成绩的90%和83%。

同时，Kimi智能助手的AI高级搜索「探索版」也通过强化学习创新了搜索体验，在意图增强、信源分析和链式思考三大推理能力上实现突破。

月之暗面CEO杨植麟透露，k0-math初代模型和更强大的Kimi探索版，将来未来几周陆续上线，帮助大家解决更有挑战的数学和搜索调研类任务。

微软发布大量商用级AI Agent智能体

当地时间11月19日，微软在芝加哥召开Microsoft ignite 2024全球开发者大会，基于大模型开发的智能体AI Agent再次成为本次大会的重点。

微软发布的这些AI Agent包括简单易用的开发、维护一站式平台Azure AI Foundry、Azure AI Agent，同时也有集成在Microsoft 365、Dynamics 365等主打产品。这体现出了微软力推AI Agent商业化的决心。

这些智能体都基于OpenAI的GPT-4o以及o1大模型提供的技术支持，提供十分简单易用的可视化操作界面，没有编程经验的业务人员也能快速完成开发，同时内置了很多高效率的生产力模板。

Mistral发布最大参数规模开源多模态模型Pixtral Large

当地时间11月19日，欧洲地区最大的人工智能创业公司、法国知名开源模型开发商Mistral.ai发布了全球参数规模最大的多模态模型——Pixtral Large。

Pixtral Large有1240亿参数，支持128K上下文，能理解文本、图表、图像等，也是Mistral.ai自家聊天助手le Chat目前正在使用的VLM视觉模型。支持中文、法文、英文等十多种主流语言。

根据测试数据显示，Pixtral Large在MMMU、MathVista、ChartQA、DocVQA、VQAv2等多个基准测试的数据超过了其他的多模态模型，包括诸如闭源的GPT-4o、Gemini-1.5 Pro、Claude-3.5 Sonnet，以及开源模型Llama-3.2 90B，成为目前最强的开源多模态模型。

月之暗面杨植麟：AI人才回流大厂是行业规律

11月19日，新浪科技采访月之暗面CEO杨植麟，这一天正好是 Kimi 智能助手面向公众开放使用的一周年，今年 31 岁的杨植麟再次接受了媒体的采访，他向外界介绍了公司最新推出的的新一代数学推理模型——k0-math。

在采访中，杨植麟谈及近期出现的「AI人才回流大厂」现象直言：“很正常，行业发展进入了一个新的阶段，最初很多公司一起做，现在数量减少了。”

杨植麟提到：“其实我们的业务在主动做减法，这个还是很重要的，也是我们过去一年比较大的一个经验就是——你应该聚焦一些重要的事情，然后做好。在几个大模型创业公司里，我们始终保持人数最少，我觉得这个是非常关键的。我们不希望把团队扩那么大，扩大对创新的影响有一个致命性的伤害，如果你想把团队保持在一定的规模，其实最好的方式是业务上做一些减法。”

当被问及与字节跳动旗下豆包的竞争时，他认为，“不希望过多地去关注竞争本身，因为竞争本身并不产生价值，只有交付更好的技术和产品，给用户创造更大的价值，才是现在最核心的问题”。