「可验证推理」共找到 6204 篇相关文章
OpenAI离职员工自曝：干了一年就润了！007压力逼到极限，AGI成宗教
OpenAI离职员工Calvin French - Owen揭秘公司文化。OpenAI扩张快致机制常调整，靠Slack运转，推崇实力至上、行动导向。Codex从想法到上线仅7周，虽辛苦但成果惊人，还分享了公司在安全、代码等方面情况。
Claude Code is All You Need
Anthropic内部把Claude Code当万能助手。它核心理念是“一切皆文件”，能管理文件、日志和待办事项，还可打通Apple生态。MCP让其获取更多上下文。社区用户分享了在多场景的使用体验和技巧。
综述：LLM 驱动AI Agent通信协议与策略
文章指出传统互联网用户完成行程繁琐，而代理互联网可让代理自动完成。随着LLM驱动智能体应用深入，其发展专业化，需多智能体协同，有效通信成关键。介绍了智能体通信定义、分类及多种通信协议。
开放世界任务成功率82%！美的攻克机器人泛化控制难题
美的AI研究院和华东师范大学联合提出ChatVLA - 2模型，引入动态混合专家架构和双阶段训练流程。真机实验显示其开放世界任务成功率达82%，远超现有方法，为通用机器人控制提供新思路。
AI下半场的「Game Changer」，直让老外惊呼「Amazing」
海外社交媒体热议中国电信的智传网（AI Flow）技术，它是人工智能与通信网络交叉领域关键技术，可实现智能传递和涌现。该技术由李学龙教授团队打造，其报告受关注，能破AI普及困局。
杨植麟被梁文锋叫醒了！Kimi新模型发布即开源，1T参数全线SOTA
172天后，Kimi推出全新Kimi K2基础大模型回应DeepSeek冲击。它为MoE架构，1T参数，激活参数32B，在多任务上领先，发布即开源，还分享技术细节，实测有亮点也待优化，展现回归之势。
全球首个科研LLM竞技场上线！23款顶尖模型火拼：o3夺冠，DeepSeek第四
Ai2耶鲁NYU联合推出科研版「Chatbot Arena」——SciArena，23款顶尖大模型比拼科研任务，OpenAI o3夺冠，DeepSeek第四。该平台解决通用基准测试在科研场景‘失效’问题，但其自动评估系统猜科研人偏好远未及格。
离开一手做大的饿了么 6 年后，他带着 7 亿估值的 AI 公司杀回来了
近日，新加坡AI应用开发商Orion Arm获1100万美元A轮融资，投后估值达1亿美元。其创始人是前饿了么联合创始人汪渊，已发布智能日程管理应用Toki AI和资讯工具Syft AI两款产品，目标三年内让用户达1亿。
当微信支付开放MCP之后，我却有一点后怕。
微信开放微信支付MCP，补上智能体链路支付短板，使用门槛低。作者分享体验，做了多个案例，如一周健康餐智能体。但全量开放或带来风险，如AI自主完成灰产闭环、AI骗AI钱等。
AI驱动的研究报告生成器Open Deep Research
Open Deep Research是AI驱动的研究报告生成器，用户提问题可获全面且有来源的答案。它采用Next.js 15等技术栈，经多步骤生成综合报告，还介绍了克隆与运行方法及项目地址。