华为预热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人才回流大厂」现象直言:“很正常,行业发展进入了一个新的阶段,最初很多公司一起做,现在数量减少了。”
杨植麟提到:“其实我们的业务在主动做减法,这个还是很重要的,也是我们过去一年比较大的一个经验就是——你应该聚焦一些重要的事情,然后做好。在几个大模型创业公司里,我们始终保持人数最少,我觉得这个是非常关键的。我们不希望把团队扩那么大,扩大对创新的影响有一个致命性的伤害,如果你想把团队保持在一定的规模,其实最好的方式是业务上做一些减法。”
当被问及与字节跳动旗下豆包的竞争时,他认为,“不希望过多地去关注竞争本身,因为竞争本身并不产生价值,只有交付更好的技术和产品,给用户创造更大的价值,才是现在最核心的问题”。