「可验证推理」共找到 6204 篇相关文章
The Batch：827 | Claude 4 推动代码生成能力再升级
Anthropic 发布 Claude 4 Sonnet 和 Claude 4 Opus 模型，支持“推理模式”，能并行调用工具。还发布 Claude Code 编程智能体及 SDK。两款模型输入输出能力强，功能亮点多，性能表现佳，有多种使用渠道和定价。
免费使用！OpenAI发布ChatGPT记忆功能，秒变私人助理
今日凌晨，OpenAI联合创始人Sam Altamn宣布为免费版ChatGPT提供轻量级记忆功能，未来还会改进。该功能可根据用户对话习惯等个性化回答，对多领域帮助大，文中还介绍了其使用方法及常见问答。
AI陪伴Top 1应用上线视频生成！图片人物能说话唱歌，多轮对话场景依然稳定
AI陪伴应用Top 1的Character.ai（c.ai）上线视频生成功能AvatarFX，可让静态图片人物“开口说话”。c.ai还上新多项AI创作功能。此外，谷歌收购c.ai遭美国反垄断调查。
英伟达发现RL Scaling！创造力暴涨，做基座模型做不了的事！
过去学界争论强化学习（RL）对语言模型的作用，此前研究认为其效果有限。本文发现问题出在训练时间短，提出ProRL，让训练突破2000步以上，结果惊人，小模型也能有出色表现。
新赋能•创生态 | 首钢园“产业跃升计划”发布会举办
在数字浪潮下，新质生产力成核心变量。5月28日，首钢园“产业跃升计划”发布会召开。其正构建“1+3+X”产业体系，园区已聚800余家科创企业。会上多位专家分享，还签约伙伴构建企业全生命周期服务体系。
剪映于近日上线两款 AI 产品 - 「小云雀」和「剪小映」
剪映近日上线两款 AI 产品「小云雀」和「剪小映」。小云雀是下一代创作 Agent，可零门槛创作视频、图片等，功能多样；剪小映则把「智能成片」细化，通过智能解析提升剪辑效率与创意。
Anthropic CEO：人的幻觉比AI 更多！这是真的吗？
Anthropic公司CEO称AI幻觉比人类少，创业公司ColdIQ联合创始人Alex Vacca用虚构故事喂给ChatGPT、Claude和Gemini，测试它们识破谎言的能力，实验结果显示各模型表现不同，AI幻觉短期内难消失。
一文讲透程序编排的核心方式：从表达式语言到并行化实践
文章围绕程序编排展开，介绍单语句编排、类编排、流程编排、并行化编排等核心方式，分析多种编排框架特点及适用场景，还提及Lindorm泛时序数据解决方案，为开发者提供编排参考。
文旅新玩法！藏师傅教你做食物微缩景观宣传海报&视频
作者玩 Gpt - 4o 图片生成时，用食品做键盘图，又结合食物与城市做微缩场景海报，还用 Veo3 做微缩景观生长动画，给出各工具提示词，鼓励大家尝试。
Meta「轻量级」KernelLLM颠覆GPU内核生成，8B参数碾压GPT-4o
Meta推出基于Llama 3.1微调的8B参数KernelLLM，能将PyTorch代码转高效Triton GPU内核。实测单次推理性能超GPT - 4o和DeepSeek V3，多次生成得分更高，让内核开发更易上手。