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

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

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

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

图源备注：图片由AI生成

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

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

图源备注：图片由AI生成

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

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

图源备注：图片由AI生成

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

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

图源备注：图片由AI生成

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

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