每日AI快讯

（由多段落组成） 近日，零一万物联合创始人兼技术副总裁戴宗宏宣布离职创业。根据36氪报道，戴宗宏在零一万物期间主要负责AI Infra团队的工作，专注于解决大规模并行训练中的系统瓶颈问题，提升训练效率并降低训练成本。此外，戴宗宏的新创业项目已获得创新工场的投资支持。 与此同时，京东推出了一项名为“顶尖青年技术天才计划”的招聘项目，旨在吸引全球高校本硕博毕业生及毕业两年内的技术人才。该项目薪酬不设上限，研究方向涵盖多模态大模型、机器学习、搜索推荐广告、高性能计算与云计算等多个领域。 AMD公司CEO苏...

（由多段落组成） 感谢IT之家网友“乌蝇哥的左手”提供的线索！近日，阿里巴巴在GitHub等平台正式开源了一款名为ZeroSearch的大模型搜索引擎。这款工具无需与传统搜索引擎直接交互，即可通过强化学习框架提升大模型的搜索能力。ZeroSearch充分利用了大模型在大规模预训练过程中积累的知识，将其转化为高效的检索模块，能够根据用户输入的查询生成相关的。 此外，ZeroSearch还支持动态调整生成的质量，这一特性是传统搜索引擎无法实现的独特功能。为了验证其性能，研究人员在NQ、TriviaQA、PopQA和HotpotQA等7个主要问答数据...

（由多段落组成） 星动纪元发布VPP大模型，机器人操作进入新阶段 近日，星动纪元宣布开源首个AIGC生成式机器人大模型VPP（Video Prediction Policy），该模型由清华大学交叉信息学院ISRLab与星动纪元联合研发，并成功入选ICML 2025 Spotlight高分作品。论文作者郭彦东表示，VPP基于类似Sora的AIGC生成式模型，通过海量互联网视频数据训练，能够根据当前场景生成视频并指导机器人完成物理动作。 例如，在实验室环境中，当机器人面对烧杯和移液管时，VPP会生成使用移液管的操作视频，帮助机器人将溶液准确转移至目标容器中...

随着人工智能技术的快速发展，各大AI公司不断推出新功能以吸引用户。近日，人工智能企业Anthropic发布了一款全新的应用程序编程接口（API），让其AI模型Claude具备了网络搜索能力。这一消息于5月8日由站长之家(ChinaZ.com)报道。 据Anthropic官方推文透露，开发者可以利用这款新API创建基于Claude驱动的应用程序，从而提供实时更新的信息。当前，众多AI公司正致力于通过各种方式提升其模型的功能，以便吸引更多客户使用其平台。而Anthropic上周还推出了一项工具，能够将应用程序与Claude连接起来，同时扩展了“深度研究”功能...

整理后的 #（由多段落组成） 5月8日消息，IT之家报道，Mistral在7日推出了其Mistral 3系列模型的中型版本——Medium 3。这款新模型以其卓越的性能和显著的成本优势受到关注。官方表示，Medium 3不仅具备前沿技术性能，还支持多种企业级功能，为企业用户提供更高的性价比。 据Mistral介绍，Medium 3在多项基准测试中的表现达到了Anthropic旗下Claude Sonnet 3.7的90%以上水平，而成本却低至每百万Token输入0.4美元、每百万Token输出2美元。与市场上的其他竞争者相比，如Llama 4 Maverick、Cohere Command A等领先的开放模型...

（由多段落组成）： 在AI技术推动全球产业结构变革的今天，海外风险投资（VC）行业正经历一场深刻的转型。过去，VC机构主要扮演“星探”角色，专注于早期发现并投资潜力巨大的初创公司，期待通过上市或并购实现高回报退出。然而，如今一些顶级VC巨头已不再满足于此，开始向私募股权投资（PE）模式靠拢。这意味着它们将涉足更广泛的投资领域、采用更灵活的资金运作方式，甚至深度参与企业的运营与整合，追求长期价值和更高的控制权。 根据彭博社报道，老牌VC巨头Lightspeed（光速创投）近期完成了身份转变，正式扩大了其投资...

（由多段落组成） 挑战AI数学推理的极限！FormalMATH大规模形式化数学基准测试正式发布，最强模型的成功率仅为16.46%。这一结果揭示了当前人工智能在数学推理领域的局限性。 香港中文大学、西湖大学、MAP、浙江大学、马克斯·普朗克智能系统研究所等多家机构联合推出了名为FormalMATH的形式化数学推理基准测试。该测试包含5560道经过严格验证的数学题目，涵盖了从奥数到大学水平的多个领域，如代数、微积分和数论等。 形式化数学推理被认为是人工智能领域中的核心难题之一。尽管大语言模型（LLM）在自然语言处理和代码生成...

苹果公司高级副总裁埃迪·库（Eddy Cue）在近期的美国司法部对谷歌反垄断诉讼中作证时透露，苹果正计划在Safari浏览器中加入由AI驱动的搜索引擎选项。这些选项将包括OpenAI、Perplexity和Anthropic等第三方服务商。尽管这些服务可能不会成为默认选择，但苹果已与部分服务商如Perplexity展开了初步洽谈。 埃迪·库进一步指出，Safari的搜索量上个月首次出现下降趋势，这表明用户正在逐渐转向AI工具以获取信息。此外，苹果还在测试Safari 18的新功能，其中包括“智能搜索”和“网页清理”功能。“智能搜索”通过苹果的设备端AI技术实...

这项计划旨在为全球每个国家建立类似于此前备受关注的“星际之门”（Stargate Project）的项目。今年1月21日，特朗普在白宫宣布了由OpenAI、软银和甲骨文等共同投资5000亿美元的“星际之门”项目，引发了广泛关注。 根据OpenAI官网的，“星际之门”项目是对美国AI基础设施的一次前所未有的投资。今年1月，该项目与特朗普总统及合作伙伴甲骨文、软银共同宣布启动。目前，首个超级计算园区正在得克萨斯州阿比林建设，未来还会有更多园区陆续展开。许多国家表达了希望OpenAI帮助他们建设类似AI基础设施的愿望，这些基础设施被认为是...

通过商汤科技最新的日日新大模型体系，双方将致力于推动运营模式的创新，拓展新兴领域的合作空间。 根据介绍，基于商汤科技的日日新大模型及应用技术，双方将共同开发数字化讲解、IP活化等文旅综合解决方案。游客可以通过拍照、语音互动等方式与大模型实时交流，获取展品的详细介绍和背后的故事。此外，借助增强现实（AR）技术，游客还可以身临其境地感受敦煌洞窟的璀璨文化。 值得一提的是，商汤科技推出的AI导游——日日新V6版本，具备强大的多模态交互与深度思考能力，并针对文旅场景进行了深度优化。它能够通过“语音+视...