「大型AI公司」共找到 10356 篇相关文章
陶哲轩联手GPT-5，1小时攻克数学难题！全程无需编码，OpenAI副总惊呼
陶哲轩联手ChatGPT攻克MathOverflow复杂数学题，节省数小时编码时间。他先让ChatGPT生成代码，后改用分步对话找参数，还验证结果。AI助其发现错误、优化流程，凸显在数学研究的潜力。
揭秘LLM“思考”之谜：推理即“梯度下降”，元学习框架解构训练过程，还给优化提供新思路
上海AI Lab团队提出RaML框架，从梯度下降和元学习角度揭示LLM“思考”机制。通过实证验证推理轨迹作为参数更新的合理性，还对比不同训练策略，指出RaML为优化LLM性能提供新思路。
家用人形机器人，终于快要来了
作者认为除关注AI大模型进展，更期待家用机器人突破。如今具身智能已具备落地条件，像特斯拉、1X等公司在人形机器人领域有进展，作者乐观预计五年内人形机器人能成熟。
立讯精密、芯源系统、富士康等约20家企业遭美国337调查！
美国国际贸易委员会对特定垂直电力传输系统相关产品启动337调查，本次调查源于美国Vicor公司的专利侵权指控，共约20家全球企业涉案，包含立讯精密、富士康等多家中企，本文梳理了案件详情与后续程序。
一种可以减少 CI 回归测试套件规模的更佳方案
作者作为测试架构师，认为减少CI回归测试套件规模理论诱人但实践常失望。介绍有效处理大型测试套件的方案，如随机趋势分析、多上下文模式匹配等，还谈及无门控测试等优势，能助力管理测试集。
蚂蚁阿福：从 0 到生产的医疗 Agent 工程化落地｜QCon 北京
4月16 - 18日，QCon全球软件开发大会将在北京举办，聚焦Agentic AI等前沿话题。蚂蚁集团郭春晓将分享《蚂蚁阿福：从0到生产的医疗Agent工程化落地》，探讨技术体系与布局，还有20多个专题论坛。
当 Kanban 不再管理人：Routa Kanban 如何管理 Agent Team
本文探讨了 Routa Kanban 如何管理 Agent Team，指出在 AI4SE 时代，多 Agent 协作进入日常软件交付需建设管理界面与工程护栏。Routa Kanban 把多 Agent 协作推进到‘管理驱动’，其价值在于将隐性约束显性化。
亲测太强了！2分钟用Gemini 3 pro实现拍立得应用
作者看到网友用Gemini 3 pro做的有趣应用后亲自尝试，在Google AI studio用Gemini 3 pro仅2分钟、三次对话就做出拍立得相机应用，还提供了照片删除和下载功能，附上实现过程和应用链接。
5亿热钱砸向具身智能新玩家！地平线VP创业，余凯又投了
具身智能赛道火热，无界动力获5亿天使轮融资。其创始人张玉峰是前地平线副总裁，团队实力强。此轮融资将加速基础模型研发与专家模型落地，公司首代机器人平台已在两方向突破。
在失败中进化？UIUC联合斯坦福、AMD实现智能体「从错误中成长」
伊利诺伊大学厄巴纳 - 香槟分校等团队发布论文，剖析LLM智能体失败机制，提出可自我修复的创新框架AgentDebug。研究指出智能体常见失败类型，构建错误分析体系、数据集，实验显示该框架效果显著，为AI可靠性提供方案。