「数学证明工具」共找到 2478 篇相关文章
用Claude Code搭建工作流
作者原本考虑用n8n搭建工作流，现认为Claude Code的Sub - agents和自定义命令功能搭配MCP工具可满足需求。通过示例演示其工作流搭建，还测试换Kimi K2模型，显示其质量更好。
北大、字节跳动联手发布SWE-Swiss：一把修复代码Bug的「瑞士军刀」，完整配方直指开源SOTA
北大、字节跳动等联合研究提出SWE - Swiss配方，用于训练解决软件工程问题的AI模型。32B参数的SWE - Swiss - 32B在SWE - bench Verified上准确率达60.2%，各训练环节效果显著，模型和数据将开源。
腾讯AI Lab开源可复现的深度研究智能体，最大限度降低外部依赖
腾讯AI Lab推出全开源智能体框架Cognitive Kernel - Pro，解决现有开源框架依赖付费工具问题。它有模块化架构等核心设计，创新训练方法，在多任务中表现出色，降低外部依赖，相关论文登HuggingFace热榜。
剑指“美国版 DeepSeek！”Ai2 科学家 Nathan Lambert 最新访谈：剖析 RLVR、激辩智能体与后训练
艾伦人工智能研究所科学家 Nathan Lambert 在访谈中剖析 RLVR、激辩智能体与后训练。他所在团队用 Olmo 和 Tulu 模型揭开后训练魔法，带火 RLVR 概念。他还谈到开源 AI 未来，想打造“美国版 DeepSeek”。
「All in AI」的 Shopify，分享了他们的全员 AI 落地实践，全是干货
Shopify 三个月前决定「All in AI」，副总裁 Thawar 分享公司引入 AI 的策略、提升效果与三个「反直觉」见解。如全员无差别用 AI、让 AI 展示思考过程、重视新手等，还给出多个工作流案例。
微调重要表征以增强思维链的推理能力
团队提出关键表征微调（CRFT）方法，通过信息流分析识别和优化关键表征。在八个数学和常识推理基准及两个模型系列验证其有效性，能提高推理准确率，学习参数量低，还适应少样本场景。
ART：构建可靠智能体的强化学习新框架
现有AI智能体在真实场景表现不稳定，阻碍其应用走向生产。ART开源强化学习框架诞生，通过分离“前端”与“后端”、兼容OpenAI推理端点等创新化解困境，还给出使用方法，在案例中展现强大效能与经济性。
不写代码、不裁员、15人团队爆改 AI 应用！ChatGPT、Claude死忠粉的暴利玩法：打造多个爆款，实现七位数营收
AI 原生创业公司 Every 仅 15 人，工程师几乎不写代码，却发布多款 AI 产品，运营咨询部门年收入数百万。其联合创始人 Dan Shipper 分享工作流程，称 AI 不会大规模抢岗，通才更吃香，还盛赞 Claude Code 等工具。
Dify × MCP：让工作流不再是孤岛
Dify上新双向MCP功能，能让特定工作流融入通用场景。一个方向可添加现成MCP服务器扩展工具范围，另一方向能将自建工作流转成MCP服务器输出。它解决了工作流上手难、场景窄问题，提升了生产力。
刚刚，29岁IOI金牌华人收购Windsurf剩余团队！OpenAI 30亿彻底梦碎
29岁华人IOI金牌创始人Scott Wu官宣Cognition AI收购AI编程工具Windsurf，涵盖其知识产权等。此前谷歌已斥资24亿收购部分团队获技术授权，OpenAI 30亿收购梦碎。Cognition将整合技术打造产品生态。