「天问大模型」共找到 8100 篇相关文章
GPT-5.4 发布，OpenClaw的能力要被取代？OpenAI 新模型不仅会自己用电脑，编程能力也拉满了
今天 GPT-5.4 发布，整合推理、编程及原生计算机使用能力。其原生电脑操作能力提升，与 OpenClaw 竞争。还带来工具搜索降成本、减少幻觉，编程能力增强但价格也升级。
GPT-5.4 发布，OpenClaw 要被替代？OpenAI 新模型会自己用电脑了，还顺手把编程能力拉满
今天，OpenAI 发布 GPT-5.4，将推理、编程和计算机使用能力整合，具备原生电脑操作能力，提升了工具使用效率。它成本降低、幻觉减少、编程能力更强，但 API 价格较高。其或与 OpenClaw 抢夺入口。
没KPI反而爆了？Cursor大神一人敲出核心功能！CEO上手7天不宕机，AI编程玩法全变了
昨日，Cursor的CEO基于GPT - 5.2构建了超300万行代码的浏览器，具备基础可用性。同时，Cursor工程负责人在访谈中分享了编码Agent发展、Cursor使用方式、未来方向等多方面内容，还揭秘团队工作模式。
程序员下班一看懵了？白嫖 Gemini / 本地大模型做时间追踪，用这个开源小工具给你一天自动出「git log」
Dayflow 是原生 macOS 开源应用，能以 1 FPS 录屏，用 AI 总结生成时间线，解决传统时间追踪记录不具体问题。它功能丰富，有自动时间线、分心高亮等，还支持多种 AI 模式，数据隐私性好。
首个为具身智能而生的大规模强化学习框架RLinf！清华、北京中关村学院、无问芯穹等重磅开源
人工智能从‘感知’迈向‘行动’，具身智能成焦点。当前强化学习框架对具身智能支持受限，清华等机构联合开源面向具身智能的框架RLinf，提出混合式执行模式，设计灵活可扩展，在多方面表现出色。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
Altman拿Token换股权只够烧45天，20亿Token捐母校只值100块：Token真成“钱”了，谁更赚？
本文围绕AI Token展开，讲述OpenAI用Token换创业公司股权，00后捐20亿Token给母校，还探讨了“tokenmaxxing”现象及问题，指出AI行业经济账未算清，企业客户成本高，AI成管理层压迫工具。
开源啦，1天交付，报价翻5倍，接私活要电子签功能？我把"印章+证据链"封装成可二开底座
作者小华分享开源项目Mini Contract.Pro，这是电子签开源底座，解决印章、落章、签署、存证等难题，有双模式引擎，采用新技栈，结合AI提效，还给出电子签需求硬指标清单。
抵制AI，CEO炒掉了80%的员工！老板亲自面试新人，自曝工程师可不懂语言但4天就能交付产品
老牌企业软件巨头 IgniteTech 公司 CEO Eric Vaughan 在 2023 年全力推动公司向 AI first 转型，解雇 80% 员工。转型虽艰难，但成果非凡，各部门流程改进成效提升 300%，还推出两项 AI 解决方案。
0.5B以小搏大拿下端侧模型新SOTA：4090可跑，长文本处理5倍常规加速丨清华&面壁开源
清华大学和面壁智能团队开源MiniCPM 4，有8B、0.5B两种参数规模，以22%训练开销达同级别最优。它在架构、推理、数据、训练多方面创新，性能领先，适用于综述生成、工具调用等场景。