每日AI快讯

整理后文章： 近年来，随着人工智能技术的快速发展，开源社区成为了推动技术创新的重要力量。然而，在国内外已有的开源社区中，仍存在开放性不足、协同性不强等问题。为了解决这些痛点，央企通信巨头中国电信天翼云牵头成立了魔乐社区（Modelers.cn），旨在打造一个更加开放、协作的人工智能生态。 魔乐社区的核心优势： 1. 资源丰富：魔乐社区提供了丰富的模型、数据集和工具资源，涵盖文本、图像、音频等多种模态。无论是初学者还是资深开发者，都能在这里找到适合自己的资源。 2. 国产化支持：社区中的模型不仅包括Dee...

回顾刚刚过去的四月份，人形机器人领域似乎开始显现出泡沫破裂的迹象。上海知名独角兽企业达闼机器人突然陷入经营危机，而远在硅谷的全球最高估值人形机器人公司“Figure”也深陷信任危机。4月6日，《财富》杂志发布了一篇调查文章，标题为《人形机器人巨头 Figure AI CEO 是否夸大了与宝马的合作？》。作者是资深科技记者 Jason Del Rey，他曾撰写过《赢家通吃：亚马逊、沃尔玛与我们的钱包之争》一书。Jason 通过与宝马相关负责人核实发现，Figure 公司一直在虚构和夸大其与宝马之间的合作关系。 由于 Jason 的影响力，这篇...

大模型赛道竞争日益激烈，部分企业开始探索新的业务方向。据蓝鲸财经报道，月之暗面Kimi正测试一款社区产品。该社区主要通过AI生成新闻热点，聚焦科技、财经等领域。与此同时，财联社消息显示，OpenAI也有意开发社交软件，对标X平台。尽管具体规划尚未明确，但可以看出，被传统互联网巨头逐渐边缘化的社区，如今再次成为大模型玩家的关注点。 网络社区在中文互联网中曾占据重要地位，如天涯论坛、猫扑等，这些平台在早期吸引了大量用户。然而，随着微博、微信等新一代社交工具的兴起，传统网络社区逐渐失去市场。尽管如此，...

（由多段落组成） 近日，零一万物联合创始人兼技术副总裁戴宗宏宣布离职创业。根据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）在自然语言处理和代码生成...