资讯列表
全国首个开源鸿蒙机器人操作系统 M-Robots OS 正式开源
AI在线 7 月 24 日消息，在今日举行的 2025 开放原子开源生态大会上，深开鸿 CEO 王成录博士宣布：M-Robots 开源项目正式启动。 该项目由开放原子开源基金会孵化、深开鸿牵头发起，旨在以开源共建的方式打造基于开源鸿蒙的统一机器人操作系统 M-Robots OS，推动机器人行业生态融合、能力复用、智能协同。 ▲ 图源“深开鸿”公众号，下同据介绍，M-Robots OS 是全国首个基于开源鸿蒙构建的分布式异构多机协同机器人操作系统，具备多机实时协同、多硬件形态兼容、AI 原生以及丰富 API 与开发工具链四大核心能力，为行业提供“底层统一、场景多元”的全栈式系统平台。
7/24/2025 11:35:10 AM
浩渺
自曝曾想拆分英伟达，特朗普签署最激进「AI行动计划」，全行业去监管
特朗普：黄仁勋拥有100%的AI，这个行业还是不要动了。 美国 AI 领域的发展，或许马上将会加速到更快。 当地时间本周三，美国总统特朗普详细阐述了一项新的「人工智能行动计划」（AI Action Plan），其中包含鼓励美国 AI 产业发展的政策指南。
7/24/2025 11:35:00 AM
机器之心
首个多模态工业信号基座模型FISHER，权重已开源，来自清华&上交等
近期，来自清华大学、上海交通大学、北京华控智加科技有限公司和华北电力大学的研究者联合发布首个多模态工业信号基座模型 FISHER，采用搭积木的方法对异质工业信号进行统一建模。 目前技术报告和权重均已开源，欢迎使用！ 论文链接： 仓库：，越来越多的工业设备被安装上传感器以监控工作状态。
7/24/2025 11:32:00 AM
机器之心
瑞典AI编程独角兽Lovable狂飙突进！8个月营收破亿美元，230万用户见证编程革命
科技创业史上又一个奇迹正在北欧上演。 瑞典AI编程初创公司Lovable在成为欧洲最新独角兽不到一周后，再次刷新纪录，年经常性收入突破1亿美元大关，正式跻身"半人马"企业行列。 这家专注于"氛围编程"的创新公司仅用8个月时间就完成了这一壮举，其AI驱动的网站和应用构建工具正在彻底改变软件开发的游戏规则。
7/24/2025 11:22:49 AM
AI在线
挑战AI极限！首届K奖编程大赛揭晓，顶尖模型成绩惨淡！
在一个新的人工智能编程挑战赛中，结果引发了广泛关注。 由 Laude Institute 主办的 K 奖大赛于最近公布了首位获奖者，令人惊讶的是，获得5万美元奖金的巴西程序员爱德华多・霍查・德・安德拉德（Eduardo Rocha de Andrade）在比赛中仅回答正确了7.5% 的问题。 这一成绩无疑为人工智能领域的现状敲响了警钟。
7/24/2025 11:22:47 AM
AI在线
国家安全部发布警示案例，科研人员因违规使用 AI 工具泄密
近日，国家安全部在其官方公众号上公布了一些涉及信息泄露的典型案例，特别是关于科研人员和公职人员在使用人工智能工具时的违规行为。 这一系列案例提醒广大工作人员，务必在处理涉密信息时保持高度警惕，避免因一时疏忽而造成严重后果。 图源备注：图片由AI生成，图片授权服务商Midjourney案例中提到的小田，是某涉密单位的工作人员。
7/24/2025 11:22:43 AM
AI在线
隐私卫士Proton推出AI助手Lumo！零日志加密聊天，挑战ChatGPT隐私短板
在AI助手遍地开花的时代，一家欧洲公司正在用隐私保护重新定义人工智能交互的标准。 本周三，以隐私保护闻名的生产力工具制造商Proton正式发布其AI助手Lumo，这款产品将数据安全置于功能之上，为用户提供了一个真正私密的AI对话体验。 Lumo的核心魅力在于其对用户隐私的极致保护。
7/24/2025 11:22:38 AM
AI在线
苹果携手剑桥大学设计最佳 AI 评审框架，突破复杂任务评审局限
AI在线 7 月 24 日消息，科技媒体 NeoWin 今天（7 月 24 日）发布博文，报道称苹果公司携手剑桥大学，提出一种新的 AI 评估系统，通过引入外部验证工具增强 AI 评审员的能力，以提高评审质量。 在评估大语言模型（LLM）时，研究人员和开发者越来越多地借助 AI 力量，这种方式也称为“LLM-as-a-judge”。 不过这种方式也存在诸多挑战，在长篇事实核查、高级编码和数学问题等复杂任务中，评估质量往往会下降。
7/24/2025 11:19:01 AM
故渊
通向科学智能2.0时代的“最强大脑”，星河启智科学智能开放平台即将上线
如果说“科学智能1.0时代”的特征是少数科学家掌握相当的AI工程能力来获得阶段性成果；那么进入“科学智能2.0”时代，科研领域迫切需要功能更强大、使用更便捷的基础设施和协作平台，让大量科学家群体能够专注于科学问题本身，真正成为探索的主角。 在这一背景下，星河启智科学智能开放平台（NovaInspire: Scientist-Centered AI Open Platform）应运而生。 该平台由上海科学智能研究院联合无限光年、复旦大学共同打造，定位以科学家为中心的智能体原生全链路科学智能开放平台，面向全球科学家提供覆盖高价值科学数据、开源科学智能模型、面向科研领域的高效智算、干湿实验闭环、多智能体推理规划及多学科众研的全栈基础设施，打造科学智能2.0时代的“最强大脑”。
7/24/2025 10:48:00 AM
新闻助手
这才是IMO奥赛战神：满分，5战3金，刚被MIT录取
最近，IMO 是真的热闹。 不过，大家谈论的重点都是 AI 在国际数学奥林匹克（ IMO ）上的表现。 这不，除了海外的 OpenAI、谷歌，国内的字节跳动 Seed 团队也刚刚公布了他们的 IMO 竞赛结果：我们的形式化数学推理专用模型 Seed Prover 通过 3 天的尝试，完整解决了 6 道题目中的 4 道以及一道题的部分证明，IMO 官方认证 Seed Prover 的成绩为 30 分，达到了银牌的分数。
7/24/2025 10:45:00 AM
机器之心
AI越训练，越会「满嘴跑火车」！普林伯克利重磅揭秘，RLHF竟是罪魁祸首？
你有没有觉得，AI有时候像在「满嘴跑火车」？ GPT滔滔不绝抛出一堆看似高大上的建议，却空洞无物；或者在关键问题上打太极，含糊其辞，它是否真的关心自己在说什么？ 最近，一项重磅研究《Machine Bullshit》火了。
7/24/2025 10:43:46 AM
刚刚！UCLA杨林团队证明：仅凭提示词，Gemini 2.5 Pro就可以拿到IMO2025金牌
最近大家应该都被OpenAI和谷歌的内部模型获得IMO2025金牌的消息刷屏了，但是正式参赛的公开的模型03high，Gemini 2.5 pro等表现很差，连铜牌都没拿到，不过现在又有了一个新情况刚刚发布在arXiv上的研究论文《Gemini 2.5 Pro Capable of Winning Gold at IMO 2025*》证明Gemini 2.5 Pro本体通过适当提示就可以获得IMO 2025金牌论文地址：（UCLA 电子与计算机工程系副教授）和黄溢辰撰写，详细阐述了他们如何利用谷歌最新的Gemini 2.5 Pro模型，成功解决了6道2025年国际数学奥林匹克（IMO）竞赛题目中的5道，达到了IMO金牌得主水平核心方法该研究的真正创新之处，在于设计了一套由两个核心角色解题者和验证者构成的自我验证流水线。 这两个角色均由Gemini 2.5 Pro扮演，但通过截然不同且高度特化的提示词（Prompt）来引导，使其各司其职，形成了高效的协作与迭代机制流水线流程如下图所示：初始解题 : 模型首先尝试对问题进行解答。
7/24/2025 10:36:51 AM
浙大校友打造AI代码测试神器，零代码零bug，30分钟创建网站
零代码、零bug，30分钟即可创建新网站。 更惊人的是，它能让AI写代码准确率从42%跃升至93%。 这是浙大校友专为AI编程设计打造的智能测试平台——TestSprite 2.0，据介绍是行业首个。
7/24/2025 10:25:46 AM
考试提分新工具：网页版 ChatGPT 测试“学习和掌握”功能，AI 助你成学霸
AI在线 7 月 24 日消息，科技媒体 bleepingcomputer 昨日（7 月 23 日）发布博文，报道称 OpenAI 为网页版 ChatGPT，测试名为“学习和掌握”（Study and Learn）功能，提供作业帮助，通过步骤式指导用户学习。 根据截图显示，网页版 ChatGPT 正测试“学习和掌握”功能，预估正式上线后将被命名为“一起学习”（Study Together）。 该功能并非新的 AI 模型，而是通过提示工程和格式化艺术，提供了分步骤的学习指导，用深入浅出地描述，帮助用户分解复杂问题。
7/24/2025 10:03:47 AM
故渊
Qwen3-Coder上线阿里云百炼 价格比Claude 4便宜3倍
7月23日，阿里云正式推出了最新的 AI 编程大模型 ——Qwen3-Coder API。 目前，Qwen3-Coder API已在阿里云百炼上线。 这一全新的编程助手不仅功能强大，而且在价格上也极具竞争力，令人瞩目。
7/24/2025 9:56:04 AM
AI在线
特朗普发布《美国 AI 计划》，力争 AI 领域全球霸主地位
美国白宫官网发布了特朗普总统的《美国 AI 行动计划》。 该计划旨在确保美国在人工智能（AI）领域的全球领导地位，涵盖了90多项具体措施，重点聚焦于加速 AI 创新、构建 AI 基础设施和主导国际外交与安全。 图源备注:图片由AI生成，图片授权服务商Midjourney在加速 AI 创新方面，计划提出要拆除现有的监管壁垒。
7/24/2025 9:52:54 AM
AI在线
周鸿祎：AI大模型时代，网络攻击门槛降低
在2025中国互联网大会上，360集团创始人周鸿祎针对大模型在实际应用中的潜在风险进行了深刻分析。 他指出，随着人工智能的迅猛发展，网络安全面临着全新的挑战，传统的 IT 系统漏洞和数据隐私泄露问题已经不再是唯一的威胁。 周鸿祎首先提到 “大模型的‘幻觉’问题”，这被认为是最大的安全风险之一。
7/24/2025 9:52:50 AM
AI在线
谷歌Gemini重磅更新：直接选用Imagen生成图像
近日，谷歌对其 AI 服务 Gemini 进行了重要升级，用户现在可以直接在 Gemini 界面中选择 Imagen 模型来生成高质量的图像。 这一更新不仅提升了用户体验，还为开发者提供了更多的灵活性和便捷性。 在此次更新中，谷歌还启用了 llms.txt 文件，旨在为 AI Agent 提供最新的 API 和 SDK 使用方法。
7/24/2025 9:52:46 AM
AI在线