「可灵O1」共找到 4387 篇相关文章
“Skill 不就是长一点的提示词吗？”
文章回应了对'skill是长提示词'的质疑，指出差异在于提示词配套的是ChatBot还是Agent。ChatBot只能对话，Agent能调用工具干活。Skill可渐进加载，具可复用、组合、迭代等优势，是提示词工程化封装。
LeCun在Meta的最后一篇论文
LeCun于11月11日提交最新论文《LeJEPA：无需启发式的可证明且可扩展的自监督学习》，当天其离职Meta消息曝光。论文提出LeJEPA自监督学习方法，解决表示崩溃问题，还回顾了JEPA架构发展，虽毁誉参半，但LeCun将继续推进世界模型工作。
理解Ray Data分布式数据处理原理-源码分析
Ray Data是构建于Ray之上的分布式数据处理库，提供高性能且可扩展的API，可用于AI场景。文章从源码入手，分析其流式执行原理，包括读取数据源、构建数据处理、输出数据等环节，还介绍了LogicalPlan转PhysicalPlan及流式执行过程。
《TAML》好文推荐 | 来自中国科学院力学研究所张磊博士 评估大语言模型在计算流体力学领域的知识利用、学习与创造
研究聚焦评估推理型（DeepSeek R1和OpenAI o3 - mini - high）与非推理型（DeepSeek V3和ChatGPT 4o）大语言模型在计算流体力学领域知识利用、学习与创造能力。通过三类基准问题评估，结果有差异。
爆冷！首届大模型争霸，Grok 4下出「神之一手」？DeepSeek、Kimi惨遭淘汰
谷歌Kaggle举办首届全球AI象棋争霸赛，八款顶级语言模型正面对抗。首战8进4淘汰战中，Gemini 2.5 Pro、o4 - mini、Grok 4、o3晋级，Claude 4 Opus、DeepSeek R1、Gemini 2.5 Flash和Kimi K2出局。比赛考验AI整体理解能力。
从李飞飞到朱军，世界模型为什么都开始走向机器人｜甲子光年
本文报道近期多位AI领军者均将世界模型研究转向机器人领域，梳理了朱军团队通用世界模型的五级技术路线，解析世界模型从生成世界走向真实行动的核心逻辑与行业趋势。
吴恩达来信：利用编程智能体实现更高效开发
吴恩达认为编程智能体正加速各类软件工作，按加速程度排序为前端开发、后端开发、基础设施、研究。前端开发加速明显，后端开发有提升但幅度小，基础设施和研究方面加速有限。
没有生物学背景，靠ChatGPT和AlphaFold，他为爱犬定制了全球首支个性化癌症疫苗
澳大利亚程序员Conyngham的爱犬患癌，他无生物学背景，靠ChatGPT和AlphaFold分析数据，经多番尝试，让教授定制全球首支为狗设计的mRNA个性化癌症疫苗，部分肿瘤缩小一半。
从写清 Spec 到看懂功能：在 Session 历史中使用 Routa 重建需求全景
文章指出在AI Coding中，Spec负责定义需求起点，大量实现走向内容留在Agent的session历史里。介绍了如何通过Feature Explorer将Spec和Session历史重新组织，让Agent基于功能证据分析，使项目保持整体性。
最近涨疯了，用这个开源项目打造卫星追踪副业！
最近A股市场卫星概念大热，太空产业受关注。Github上有开源卫星可视化平台`keeptrack`，非工程师能轻松用它追踪卫星轨迹，程序员还能二次开发。它功能多、性能好，免费开源。