回顾刚刚过去的四月份，人形机器人领域似乎开始显现出泡沫破裂的迹象。上海知名独角兽企业达闼机器人突然陷入经营危机，而远在硅谷的全球最高估值人形机器人公司“Figure”也深陷信任危机。4月6日，《财富》杂志发布了一篇调查文章，标题为《人形机器人巨头 Figure AI CEO 是否夸...

大模型赛道竞争日益激烈，部分企业开始探索新的业务方向。据蓝鲸财经报道，月之暗面Kimi正测试一款社区产品。该社区主要通过AI生成新闻热点，聚焦科技、财经等领域。与此同时，财联社消息显示，OpenAI也有意开发社交软件，对标X平台。尽管具体规划尚未明确，但可以看出，被传统...

（由多段落组成） 近日，零一万物联合创始人兼技术副总裁戴宗宏宣布离职创业。根据36氪报道，戴宗宏在零一万物期间主要负责AI Infra团队的工作，专注于解决大规模并行训练中的系统瓶颈问题，提升训练效率并降低训练成本。此外，戴宗宏的新创业项目已获得创新工场的投资支持。 ...

（由多段落组成） 感谢IT之家网友“乌蝇哥的左手”提供的线索！近日，阿里巴巴在GitHub等平台正式开源了一款名为ZeroSearch的大模型搜索引擎。这款工具无需与传统搜索引擎直接交互，即可通过强化学习框架提升大模型的搜索能力。ZeroSearch充分利用了大模型在大规模预训练过程中...

（由多段落组成） 星动纪元发布VPP大模型，机器人操作进入新阶段 近日，星动纪元宣布开源首个AIGC生成式机器人大模型VPP（Video Prediction Policy），该模型由清华大学交叉信息学院ISRLab与星动纪元联合研发，并成功入选ICML 2025 Spotlight高分作品。论文作者郭彦东表示，V...

随着人工智能技术的快速发展，各大AI公司不断推出新功能以吸引用户。近日，人工智能企业Anthropic发布了一款全新的应用程序编程接口（API），让其AI模型Claude具备了网络搜索能力。这一消息于5月8日由站长之家(ChinaZ.com)报道。 据Anthropic官方推文透露，开发者可以利用这款...

整理后的 #（由多段落组成） 5月8日消息，IT之家报道，Mistral在7日推出了其Mistral 3系列模型的中型版本——Medium 3。这款新模型以其卓越的性能和显著的成本优势受到关注。官方表示，Medium 3不仅具备前沿技术性能，还支持多种企业级功能，为企业用户提供更高的性价比。 据M...

（由多段落组成）： 在AI技术推动全球产业结构变革的今天，海外风险投资（VC）行业正经历一场深刻的转型。过去，VC机构主要扮演“星探”角色，专注于早期发现并投资潜力巨大的初创公司，期待通过上市或并购实现高回报退出。然而，如今一些顶级VC巨头已不再满足于此，开始向私募...

（由多段落组成） 挑战AI数学推理的极限！FormalMATH大规模形式化数学基准测试正式发布，最强模型的成功率仅为16.46%。这一结果揭示了当前人工智能在数学推理领域的局限性。 香港中文大学、西湖大学、MAP、浙江大学、马克斯·普朗克智能系统研究所等多家机构联合推出了名为For...

苹果公司高级副总裁埃迪·库（Eddy Cue）在近期的美国司法部对谷歌反垄断诉讼中作证时透露，苹果正计划在Safari浏览器中加入由AI驱动的搜索引擎选项。这些选项将包括OpenAI、Perplexity和Anthropic等第三方服务商。尽管这些服务可能不会成为默认选择，但苹果已与部分服务商如Per...