「集合和差问题」共找到 8750 篇相关文章
具身智能创业来了位浙大博导，机器人会飞，VC抢着投
具身智能领域，常见机器人多在地面作业。现微分智飞推出会飞的具身智能机器人，由浙大博导高飞创办。其与传统无人机不同，有自主决策能力。公司有行业和教育两条产品线，专注产品技术闭环。
干货的一天 -【MCP协议驱动的AI新范式】峰会活动精彩回顾
2025年6月14日，“MCP协议驱动的AI新范式”峰会在上海举办。活动汇聚多企业专家与社区代表，通过主题演讲和工作坊，深度探讨MCP协议在技术、商业及生态建设中的价值，多位专家分享见解与技术成果。
小扎疯狂挖角 OpenAI、签约跳槽就发7亿奖金，奥特曼痛批：不懂创新，老“复制”人了
Meta 首席执行官扎克伯格掀起 AI 人才争夺战，向 OpenAI 和谷歌 DeepMind 员工提供巨额签约奖金。OpenAI 首席执行官奥特曼证实此事，称招聘未成功，还批 Meta 不懂创新，只知“复制”，并透露 OpenAI 未来将推“AI 伴侣”。
通向世界模型关键一步：EX-4D来了，实现单目视频到自由视角生成
去年Sora等模型革新视频生成领域，相机可控的视频生成技术是构建世界模型核心。但从单视角生成极端视角视频是难题，PICO - MR团队提出EX - 4D，能从单目视频生成新视角视频，多方面表现出色。
Kimi新模型拿下代码开源SOTA，仅仅72B，发布即开源
深夜，Kimi发布新开源代码模型Kimi - Dev，在SWE - bench Verified上以60.4%成绩获开源SOTA。参数量72B，编程水平强。采用MIT协议，权重和代码已发布。官方透露了部分关键技术，更多细节待后续报告。
苹果在WWDC提到的本地模型，这家公司把它提速了220倍
苹果在WWDC开放本地语言模型API，让iPhone等有了“AI大脑”，但开发者面临模型运行慢问题。国产团队面壁智能发布MiniCPM 4.0，端侧处理长文本提速惊人，从多层面创新实现，还补上推理框架缺口。
开源多智能体开发框架：支持MCP、Agent SDK，超2000颗星。
著名企业孵化器Y Combinator支持的开源多智能体开发框架Rowboat，支持MCP服务和Agent SDK，几分钟就能开发复杂智能体工作流。它由Agent、Playground、Copilot组成，还支持创建面向用户的助手，在Github超2000颗星。
生图效果媲美GPT-4o，一键搞定各类视觉生成任务丨港科广&字节全新框架
港科大（广州）和字节联合推出开源框架ComfyMind，它是通用视觉生成框架，能统一处理主流视觉生成任务。其性能超现有开源方法，媲美GPT - 4o - Image，还介绍了架构、接口等及性能评估情况。
半年复盘，AI迎来预训练后的新瓶颈。
2025年上半年AI领域发展加速，编码和多模态能力提升。但模型在综合能力上遇到第二轮瓶颈，编码能力强时通用认知能力‘拉胯’，或与RL阶段使用编程数据有关，红杉新基准或推动模型均衡发展。
一周两破18年数学纪录！陶哲轩惊叹：AlphaEvolve带来久违「加速度」
人类数学家与AlphaEvolve携手，一周内两次刷新18年未破的数学纪录。先是AlphaEvolve将和差集的θ下界提升，后人类数学家Gerbicz在其基础上再进一步，展现AI与人类协作在数学研究中的惊人潜力。