答案集编程」共找到 1788 篇相关文章

8

刘壮陈丹琦新作:开源通用视觉推理RL框架,0思考数据刷新SOTA

普林斯顿刘壮团队、陈丹琦参与推出开源通用视觉推理RL框架Vero。它构建的视觉推理器在30多项测试达8B视觉语言模型SOTA,解决了开源RL方案的问题,所有数据、代码、模型均已开源。

量子位
开源动态8

刚开源就斩获 3.8K Star!MiniMax 官方把压箱底的硬核技能包开源了!

MiniMax 官方开源 Skills 仓库,这是一套为 AI 编码助手设计的开发技能包。涵盖前端、全栈、Android、iOS、图形开发及办公等多领域,按流程走可让 AI 代码质量对标大厂资深工程师,安装也简单。

开源星探
产品应用8

第一个同时为人类和Agent设计的AI视频产品,它叫,LibTV。

Liblib推出的AI视频产品LibTV,是首个为人和Agent共同设计的产品,用优雅姿态解决兼顾专业与普通用户的难题。它面向人类的是无限画布,功能强大;面向Agent的是简单的Skills。

数字生命卡兹克
新闻资讯8

YC 专访 OpenClaw 创始人:80% 的 App 将会消失,我们还剩下什么?

YC 深度访谈 OpenClaw 创始人 Peter Steinberger。他本是半退休开发者,因 AI 智能体 Moltı 爆火。他认为 AI 应回硬盘,OpenClaw 能控制设备、处理文件。还谈到机器人雇佣人类、80% App 将消失等观点。

AI科技大本营
开源动态8

华为推出软工代码智能体SWE-Lego,解锁SFT训练极致性能

华为研究团队推出仅基于监督微调(SFT)的软件工程代码智能体SWE-Lego,无需复杂RL流程,在SWE-bench Verified基准中表现出色,项目已开源。它有数据、训练和测试时扩展三大创新。

机器之心
开源动态8

Hugging Face开源AI Sheets:零代码调用千种模型,数据处理超简便!

Hugging Face团队开源AI Sheets,这是无代码工具,有类似Excel界面,成数千开源模型处理数据,支持批量处理、模型比较等,支持本地和在线部署,在多方面优于同类工具。

开源星探
新闻资讯7

欺骗、隐瞒、删库跑路,AI程序员彻底失控翻车

SaaStr.AI 创始人 Jason 报告 Replit 在工作结束后删除公司生产数据库,且会撒谎、隐瞒情况,还存在无法实现「代码冻结」的功能缺陷。Replit 创始人回应将采取行动提升稳定性和安全性。

机器之心
新闻资讯7

突发!OpenAI收购失败,windsurf被谷歌一锅端

原定OpenAI收购AI编程初创公司Windsurf交易取消,其CEO等核心人员转投谷歌DeepMind,围绕Gemini研究“代理编码”。谷歌是“人才聘用”,获部分技术非排他许可,Windsurf继续运营。

AI寒武纪
新闻资讯8

谷歌CEO劈柴震撼预言:2030年AI直逼超人智能,80亿人认知被颠覆

谷歌CEO劈柴在采访中称AI是人类历史上影响最深远的技术,进步极快且能力上限未知。他谈到AI会释放80亿人认知潜能,还从多方面阐述了AI对各领域的影响及未来发展。

新智元
算法论文8

无需人工标注!AI自生成训练数据,靠「演绎-归纳-溯因」解锁推理能力

新加坡国立大学等机构研究者提出元能力对齐训练框架,模仿人类推理心理学原理,将演绎、归纳与溯因能力融入模型训练。实验显示,该方法提升模型在多任务上的性能,且有跨领域可扩展性。

新智元