3月4 日，蚂蚁集团联合清华大学发布开源强化学习训练框架 AReaL v1.0稳定版。该版本主打“Agent 一键接入 RL 训练”:不用改代码，兼容各类 Agent 框架，让

蚂蚁集团旗下的具身智能公司灵波科技近日宣布，正式开源其具身大模型LingBot-VLA。该模型不仅在多项权威基准测试中表现卓越，更同步开放了完整的后训练代码库，旨在降低具身智能领域的研发门槛。

国内 AI 巨头月之暗面正式发布了其专属编程工具:Kimi Code。这款工具的亮相，标志着 Kimi 在开发者生产力领域实现了从“通用助手”到“专业编码利器”的跨越。 全场景覆盖:从终端到

近日，一款名为ClipSketch AI的开源工具在内容创作者社区迅速走红。该工具专为视频二创和短视频运营者设计，能将长视频瞬间转化为手绘风格的故事板，并自动生成适配社交媒体的爆款文案，帮助用户大

近日，清华大学TSAIL实验室联合生数科技正式开源视频生成加速框架TurboDiffusion，这一突破性技术将AI视频扩散模型的推理速度提升100至200倍，同时保持视觉质量几乎无损，标志着AI

近日，字节跳动 Seed 团队推出了其最新的形式化数学推理模型 Seed Prover1.5，标志着在数学推理领域的一次重要突破。此次模型的推出，得益于对大规模 Agentic 强化学习的深入探索

The Kimi technical team recently released a technical report on the preview version of Kimina-Prov

在人工智能領域，最近一項重磅技術發佈引發廣泛關注 ——DeepSeek-Prover-V2。這一模型不僅在推理性能上取得了顯著提升，還被譽爲通向人工通用智能（AGI）的關鍵一步。DeepSeek-

一款名爲SurfSense的開源AI研究助手橫空出世，以其獨特的個人知識庫整合功能和強大的研究能力，迅速成爲NotebookLM和Perplexity的有力競爭者。SurfSense不僅繼承了AI

一款名为SurfSense的开源AI研究助手横空出世，以其独特的个人知识库整合功能和强大的研究能力，迅速成为NotebookLM和Perplexity的有力竞争者。SurfSense不仅继承了AI