2024-11-20 09:09
华为预热Mate70系列AI功能卖点丨ChatGPT桌面版支持调用老牌编程工具丨月之暗面发布「k0-math」数学推理模型
AI奇点网2024年11月20日报道丨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万人次。
11月15日，OpenAI宣布对ChatGPT桌面版发布功能更新。其中，新上线了Windows桌面客户端，并且针对早前上线的Mac客户端发布了新功能。
现在，MacOS平台的开发者可直接从ChatGPT桌面客户端跳转访问Visual Studio Code、Xcode和Terminal等知名的编程工具软件，无需再从ChatGPT将代码复制到开发工具内，减少了来回切换，简化了开发工作流程。
在官方的演示里，用户可以直接在ChatGPT桌面端启动并同时调用多个不同的主流编程工具，实现编写代码并行其他的AI问询任务，无需切换应用，有效提高了开发效率。
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探索版，将来未来几周陆续上线，帮助大家解决更有挑战的数学和搜索调研类任务。
当地时间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大模型提供的技术支持，提供十分简单易用的可视化操作界面，没有编程经验的业务人员也能快速完成开发，同时内置了很多高效率的生产力模板。
当地时间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，成为目前最强的开源多模态模型。
11月19日，新浪科技采访月之暗面CEO杨植麟，这一天正好是 Kimi 智能助手面向公众开放使用的一周年，今年 31 岁的杨植麟再次接受了媒体的采访，他向外界介绍了公司最新推出的的新一代数学推理模型——k0-math。
在采访中，杨植麟谈及近期出现的「AI人才回流大厂」现象直言：“很正常，行业发展进入了一个新的阶段，最初很多公司一起做，现在数量减少了。”
杨植麟提到：“其实我们的业务在主动做减法，这个还是很重要的，也是我们过去一年比较大的一个经验就是——你应该聚焦一些重要的事情，然后做好。在几个大模型创业公司里，我们始终保持人数最少，我觉得这个是非常关键的。我们不希望把团队扩那么大，扩大对创新的影响有一个致命性的伤害，如果你想把团队保持在一定的规模，其实最好的方式是业务上做一些减法。”
当被问及与字节跳动旗下豆包的竞争时，他认为，“不希望过多地去关注竞争本身，因为竞争本身并不产生价值，只有交付更好的技术和产品，给用户创造更大的价值，才是现在最核心的问题”。
相关文章
Altman
雷小军
