「可验证智能」共找到 7238 篇相关文章
双手取货+漂移搬运，WRC明星机器人告诉大家：什么是高级操作｜甲子光年
去年90后创业者王鹤提出具身智能产品化思路，一年后银河通用在零售和工业找到业务切口。2025 WRC上其Galbot机器人表现亮眼，会前还发布银河太空舱，开启‘十城百店’计划，以务实方式推动人形机器人商业化。
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
香港大学NLP团队联合字节跳动Seed、复旦大学发布Polaris强化学习训练配方，让4B模型数学推理能力超商业大模型，且Polaris-4B可在消费级显卡部署，相关内容已全部开源。
AI 工程化进行时：当上百个专家探讨“落地”这件事
10月23 - 25日，QCon全球软件开发大会·上海站（2025）举办，超1300人参与。极客邦科技创始人霍太稳称AI进入‘深水区’，工程化落地是关键。多位专家演讲，探讨AI基础设施、智能体等话题，27个分论坛覆盖AI工程化全链路。
中国AI登顶全球之巅，顶流女团MV燃爆开场！AI音乐奇点已至
昆仑天工发布Mureka V8音乐大模型，基于MusiCoT技术，在音乐性、人声表现力和编曲层次等方面显著提升，使AI音乐达「可发布」级别，评测超Suno V5，还与太合音乐合作，欲打造全球AI音乐第一平台。
聚焦手机AI“超级入口”，中兴Nebula小模型让手机秒变“小秘”？
移动智能时代，手机AI“超级入口”成竞争焦点。美团率先推出AI Agent，中兴通讯自研Nebula-GUI模型表现亮眼，在测评中获佳绩，已在多款手机商用，还开发数据制备系统，经监督微调、双层强化学习提升性能。
仅100种子题，合成数据质量超GPT-5，阿里、上交提出Socratic-Zero框架
阿里巴巴与上交大联合提出 Socratic-Zero 框架，仅从 100 个种子问题出发，通过三智能体协同进化生成高质量课程。该框架合成数据质量超 GPT - 5 等，Solver 性能提升显著，工程友好，开启零数据自进化新路径。
告别微调！斯坦福提出Agentic上下文工程
当前微调大语言模型成本高、不灵活，‘上下文适应’方法有短板。斯坦福大学等提出ACE框架，将上下文变为动态‘战术手册’，解决现有问题。论文通过实验验证其在性能、成本和效率上优势，为大模型发展指明新方向。
OpenAI入股AMD，股价暴涨35%！奥特曼左手黄仁勋，右手苏姿丰，通吃全球算力
OpenAI宣布与AMD达成战略合作，将部署6GW的AMD Instinct MI450 GPU集群，可认购最多1.6亿股AMD普通股，持股比例或达10%。消息公布后，AMD盘前股价飙升35%。此前OpenAI也官宣与英伟达合作。
1.6万人「卷」出科学未来！盛夏AI4S上海巅峰赛，谁人终得桂冠？
7月25 - 26日，第三届世界科学智能大赛总决赛及颁奖典礼在上海举行。大赛面向全球选拔，设五大赛道，吸引近1.6万人参赛。大赛秉持开源开放，成果将在星河启智平台共享，还开辟中学组，展现青少年潜力。
AutoResearch-LLM：让 Agent 接手 LLM 训练优化
本文是 LLM 微调 AutoResearch 落地实战。作者将电商场景 Qwen3 微调流水线沉淀成 Agent 驱动的三阶段框架，还分享踩坑经验。思路方法与平台无关，可类比到外部环境，适合关注 AI Coding 等的同学。