> 导语：今日AI领域风起云涌，从Meta推出短视频生成工具Vibes，到微软革新芯片散热技术，再到GPT-5在数学领域取得惊人突破，各大科技巨头正加速推动AI技术的边界。同时，Kimi Agent模式、Exa Code等创新应用的出现，预示着AI正从辅助工具向自主行动伙伴演进，深刻改变着代码开发、信息获取乃至内容创作的未来。

## AI再攀高峰！GPT-5攻克三大数学猜想，首次通过哥德尔测试

OpenAI的GPT-5模型在与海法大学、思科的联合研究中取得了历史性成就，它不仅首次通过了哥德尔测试，还成功破解了三大组合优化领域的数学猜想。这一成果展示了GPT-5前所未有的强大逻辑推理能力，令研究人员为之震惊，标志着人工智能在抽象的数学研究领域迈出了革命性的一步，未来有望成为科学家们探索未知数学疆域的得力助手。

![image.png](https://static.downly.cn/images/743fd16b6d9f0d61fe99dfb3b405ebf0.png)
图源备注：图片由AI生成

## 人人都是创作者：Meta发布Vibes，AI短视频制作从未如此简单

Meta公司最新推出的AI应用Vibes，旨在彻底改变短视频的创作生态。它通过提供便捷的素材改编、动态内容混剪以及全新的AI制作功能，极大地降低了视频创作的门槛。用户无需专业技能，即可轻松将想法转化为生动有趣的AI短视频并快速分享，这无疑将激发更广泛用户的创作热情与潜力。

![image.png](https://static.downly.cn/images/a40ae338317a5f96a233fd36707d0765.png)
图源备注：图片由AI生成

## 让AI更懂你：ChatGPT上线个性化资讯功能，变身专属新闻官

OpenAI为ChatGPT增加了一项全新的个性化推送功能，使其从一个被动的问答工具，转变为一个主动的智能信息助手。通过分析用户的聊天历史和兴趣，ChatGPT现在能够主动为用户推送量身定制的每日新闻、行业研究报告及重要动态。这一升级显著提升了用户获取关键信息的效率，标志着AI服务正朝着更智能、更主动的方向发展。

![image.png](https://static.downly.cn/images/f800bb38b61961c6911084a590b353f0.png)
图源备注：图片由AI生成

## Kimi开启“OK Computer”模式，只需一句话，让AI为你打工

月之暗面公司旗下的Kimi模型开启了一项名为“OK Computer”的Agent模式灰度测试，让AI的自主性达到了新的高度。用户不再需要复杂的指令，只需用自然语言下达一个任务，例如“帮我开发一个网站”或“分析这份报告”，Kimi便能自主操作虚拟电脑，调用工具、编写代码、分析数据，高效完成复杂工作，极大地提升了智能化服务的效率和边界。

![image.png](https://static.downly.cn/images/5a9d66304fe91a8e81e787c1766f45b0.png)
图源备注：图片由AI生成

## 告别代码幻觉：Exa Code发布，为AI代理打造亿级代码知识库

为了解决大型语言模型在编码时出现的“幻觉”问题，Exa Labs发布了免费开源的优化工具Exa Code。该工具通过索引海量的编程文档、代码仓库和技术问答社区，为AI提供了精准、可靠的代码上下文。实验证明，它能大幅提高AI生成代码的准确性，在代码幻觉评估中的表现甚至超越了传统的网络搜索，成为了开发者提升AI编程助手可靠性的新焦点。

![image.png](https://static.downly.cn/images/f7d5d6ddce4f3ad72ec8c2b487c8eb9d.png)
图源备注：图片由AI生成

## 为AI芯片“降温”：微软微流体冷却技术让性能与能效双双提升

微软研发出一项创新的微流体芯片冷却技术，有望解决AI芯片的散热瓶颈。该技术将冷却剂通过微小通道直接引入芯片内部进行循环，实现了前所未有的散热效率。实验数据显示，其散热能力是传统冷却方式的三倍，这项技术不仅能显著提升AI芯片的极限性能，还将大幅提高数据中心的能源效率。

![image.png](https://static.downly.cn/images/5787594a9b4bb4ca06653a920c9486a4.png)
图源备注：图片由AI生成

## 字节跳动的破局之路：Eino框架如何高效赋能AI应用开发

在AI应用开发日益复杂的背景下，字节跳动通过其Eino框架给出了自己的答案。该框架通过对功能“组件”的创新抽象和对业务流程的智能编排，成功应对了大规模生产环境中的挑战。字节跳动的实践证明，Eino框架不仅提升了开发效率，也为业界探索高效、可扩展的AI应用开发模式提供了宝贵经验。

![image.png](https://static.downly.cn/images/c0f5410749fbc68edfbb8f89e149fdf2.png)
图源备注：图片由AI生成

每日AI资讯0926：GPT-5攻克数学难题，Kimi化身自主代理，AI技术与应用迎双重爆发





> 本期AI快讯为您带来全球顶尖科技公司的最新动态，涵盖了从虚拟世界交互、AI模型竞赛到多模态应用的全面突破。Meta为虚拟世界注入了更真实的灵魂，微软则携自研模型正式入局大模型竞赛，而谷歌与OpenAI在视频和语音技术上持续创新。同时，AI在教育、数据分析、家庭娱乐乃至地球科学等领域的应用也正以前所未有的速度改变着我们的生活。

## 虚拟世界新纪元 Meta为《地平线世界》引入AI NPC

Meta公司正在为其虚拟社交平台《地平线世界》（Horizon Worlds）带来一场革命性更新。平台将引入由人工智能驱动的非玩家角色（NPC），这意味着开发者现在可以利用先进的生成式AI工具，创造出能够与用户进行逼真、流畅语音对话的虚拟化身。这些AI NPC不仅是简单的机器人，它们可以被完全定制，为虚拟世界带来前所未有的生机与互动深度，标志着我们在构建沉浸式虚拟体验的道路上迈出了关键一步。

![image.png](https://static.downly.cn/images/2278a1630b82e606af1d6e38edbe4975.png)

## 微软自研AI模型MAI-1亮相 正面挑战OpenAI

微软正式发布了其首个自研的人工智能模型系列 MAI-Voice-1 和 MAI-1-preview，彰显了其在AI领域的雄心。其中，MAI-Voice-1 是一款顶尖的语音模型，能够在一秒内生成长达一分钟的音频，技术实力惊人。该技术已成功应用于Copilot Daily等功能中，为用户提供由AI主持的新闻播报和深度讨论。用户现在可以通过Copilot Labs亲身体验这一前沿技术。

![image.png](https://static.downly.cn/images/ce0f8feaf8e82c197c07bd898fde3722.png)

## 反作弊AI导师进入美国高校 MathGPT.ai重塑数学教育

为了解决学生利用AI工具完成作业而教师难以监督的难题，一个名为MathGPT.ai的“反作弊”AI导师应运而生。该平台通过提供教学助手和引导式学习功能，已在美国30所高校成功试点，并计划于今年秋季将服务范围扩大近一倍。宾夕法尼亚州立大学等知名学府已决定将其引入课堂，利用苏格拉底式的教学方法，重新定义AI在数学教育中的角色，引导学生真正掌握知识。

![image.png](https://static.downly.cn/images/b576be75eb06f0252a10892c1a1bd2a2.png)

## 数学AI推理迎来飞跃 We-Math 2.0构建全链条知识体系

由北京邮电大学、腾讯微信与清华大学的联合团队发布的We-Math 2.0，是多模态数学推理领域的一项重大突破。该项目构建了一个从小学到大学的完整数学知识体系和推理数据集，旨在解决当前多模态大模型在复杂数学推理能力上的短板。它的出现，为AI模型提供了坚实的知识基础，使其在理解和解决数学问题上实现了质的飞跃。

![image.png](https://static.downly.cn/images/eef7e2d4bb62826798fc7caf43753373.png)

## OpenAI推出“实时API” 让AI语音助手如真人般对话

OpenAI发布了面向生产环境的“实时API”，其核心是GPT-Realtime模型。这一创新技术使AI能够直接生成和处理语音，极大地缩短了响应时间，实现了如真人般自然流畅的对话体验。该模型不仅能理解对话中的非语言线索（如停顿、语气），还能在多种语言间自如切换，并根据指令调整说话风格，为客户支持、在线教育等场景带来了革命性的变革。

![image.png](https://static.downly.cn/images/c96de47e9d3e2f93b2b6192f4728e072.png)

## 谷歌视频工具Veo更新 推行积分制普惠用户

谷歌对其AI视频生成工具Veo（前身为Flow）进行了重大更新，引入了全新的积分系统。现在，每位用户每月将获得100个免费积分，可以根据需求灵活使用，例如选择制作五段快速生成的AI短视频，或是一段质量更高的标准视频。这一举措体现了谷歌在平衡视频生成效率与最终质量上的策略，同时也降低了用户体验AI视频创作的门槛。

![image.png](https://static.downly.cn/images/d646f499537f652016d0d15f1a994e01.png)

## 告别繁琐 谷歌Gemini AI让表格处理化繁为简

谷歌为其在线表格工具Sheets增加了一项强大的新功能，集成了Gemini AI助手。现在，当用户使用“转换为表格”功能时，Gemini能够自动分析数据内容，并智能地为表格生成一个贴切的名称。这一更新虽然微小，却极大地提升了数据处理的便捷性和智能化水平，帮助用户从繁琐的操作中解放出来，更专注于数据本身。

![image.png](https://static.downly.cn/images/9aa873b4e62ffd69d39a0ad3dca8a953.png)

## 微软Copilot入驻三星电视 你的专属找片助手

微软的人工智能助手Copilot现已成功集成到三星2025年推出的部分电视和显示器中。用户现在可以通过遥控器轻松语音唤醒Copilot，无论是寻找特定类型的电影，还是咨询影片评分，Copilot都能通过语音和视觉卡片（如显示电影海报和评分）给出直观的回答，为家庭娱乐带来了更加智能和互动的全新体验。

![image.png](https://static.downly.cn/images/fcdf140ac15ba7dc6ed6c7b26c9a6839.png)

## 阿里巴巴发布数据分析Agent 人人都是AI分析师

阿里巴巴旗下的瓴羊Quick BI平台将其内置的“智能小Q”升级为“超级数据分析师”。这一全新的数据分析Agent具备了问数、解读和生成报告三大核心能力。它旨在让没有任何数据分析背景的用户也能轻松上手，通过简单的提问，快速获取、理解数据，并自动生成富有洞察力的分析报告，真正实现了“让人人都可拥有AI分析师”的愿景。

![image.png](https://static.downly.cn/images/8f0a6ea62666de71e0c3218c5f33ccbd.png)

## DeepMind发布AlphaEarth 构建全球数字孪生

谷歌DeepMind团队公布了其最新的全球制图模型 AlphaEarth Foundations。这个强大的AI模型能够整合海量的地球观测数据，包括卫星图像、地形数据等，构建一个统一的数字地球。它就像一颗“虚拟卫星”，能够处理多模态信息，以前所未有的方式将我们的星球以数字形式进行重现和分析。

![image.png](https://static.downly.cn/images/33259494f553424124e7f3cf952f8039.png)

## 海螺AI首尾帧功能上线 提升视频创作想象力

海螺AI于近日宣布，其新一代的首尾帧技术已在网页版和移动APP双端正式上线。该功能旨在解决AI视频生成中的行业痛点，通过提升对用户指令的理解、优化动态效果和激发模型的想象力，全面增强视频的首尾帧生成能力。新功能支持多种分辨率，让用户能够创作出开头和结尾更具创意和连贯性的视频作品。

![image.png](https://static.downly.cn/images/ae248744f440236af5b52406d8610d6e.png)

搜索结果: 数学AI