「MCP·RL」共找到 857 篇相关文章
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
狂拿大模型明星订单，一家清华系HPC-AI Infra公司浮出水面
本文介绍清华系计算创业公司是石科技，其93年创始人闫博文不囤算力仍拿下大模型明星公司订单。团队技术实力强，3次获戈登·贝尔奖。公司构建全栈能力，为多领域提供服务，未来想以算力赋能各行业。
比尔盖茨最新洞察：AI 时代动荡已至，三大风险，三个建议
比尔·盖茨在个人网站发布最新洞察，认为动荡的AI时代已至，AI影响广泛，政府需提出应对方案。他指出AI带来就业、安全、影响孩子成长三类风险，也有改善多领域服务的可能，还给出三项应对建议。
模型之上，才是真正的资产
微软CEO萨蒂亚·纳德拉在《没有生态的前沿，立不住》中提出，每家公司未来要构建人力资本与Token资本。强调Token资本构建靠学习闭环，还提出检验公司是否拥有Token资本的方法，呼吁避免价值集中到少数模型公司。
“AI 工程师”已上岗！微软 CEO 曝正尝试新学徒制模式：内部工程师的顶级实践全变
在达沃斯论坛上，微软 CEO 萨蒂亚·纳德拉与英国前首相聚焦 AI 应用话题。他以自身参会准备工作变化，说明 AI 打破传统层级架构。还指出企业 AI 应用有‘杠杆效应’，人才差距在应用推进力度，判断泡沫关键在于落地。
今晚直播｜从《黑客帝国》到迪士尼乐园：谈《拟像与拟真》
法国后现代思想大师让·波德里亚在《拟像与拟真》中预警数字时代图景。2025年12月5日19:30 - 21:30，豆瓣读书等邀多位学者结合电影探讨波德里亚思想及拟像概念，直播将在豆瓣读书视频号同步。
Unsloth宣布更新，可免费用强化学习训练视觉大模型Qwen2.5-VL-7B
Unsloth宣布更新，支持视觉/多模态模型强化学习训练，含Gemma 3和Qwen2.5 - VL。其独特机制使VLM RL训练速度提升、显存占用降90%等。还引入GSPO算法，能在免费Colab T4 GPU训练Qwen2.5 - VL - 7B。
谷歌前CEO施密特：中美大模型之间存在一个显著区别
7月26日世界人工智能大会上，谷歌前CEO埃里克·施密特与沈向洋对话，指出过去两年中国AI技术进步巨大。他认为中美领先AI模型有显著区别，中国部分模型开放权重，美国多数领先模型封闭。他期待中美合作应对AI变革。
大模型首次打破围棋思维「黑盒」，打通科学发现新路径！上海AI Lab发布新一代InternThinker
上海AI Lab发布新一代书生·思客（InternThinker），它是我国首个具围棋专业水平且能展示透明思维链的大模型。其得益于InternBootcamp训练环境，还在多任务混合训练中现‘涌现时刻’，背后有通专融合底层技术突破。
突破多模态奖励瓶颈！中科院清华快手联合提出R1-Reward，用强化学习赋予模型长期推理能力
多模态奖励模型（MRMs）对提升多模态大语言模型表现至关重要，强化学习理论上可引入长期推理能力，但现有RL算法用于训练MRM会不稳定。中科院、清华等团队推出R1 - Reward模型，在多模态奖励模型benchmark上有显著提升。