「语境学习能力」共找到 4250 篇相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
秘塔 AI，悄咪咪上线「今天学点啥」App
作者受手机厂商将AI功能做成NFC卡片启发，提出把知识载体变成Agent的想法。秘塔AI观点与其不谋而合，还将「今天学点啥」做成独立App，可个性化学习，体验超预期。
MiniMax M3 实测：第一流的模型，已经对执行层动手了
文章对 MiniMax M3 模型进行多维度实测。它强化 Coding 与 Agent 能力，能完成长任务，与 Sonnet 4.6 竞技各有优势，多模态能力强，价格有竞争力，MiniMax Code 意在争夺开发者工作流入口。
同样的模型，Claude Code凭什么比Codex强
文章探讨决定 Coding Agent 能力的 6 大核心组件。指出如今旗舰模型‘裸机’能力相近，真正拉开体验差距的是 Harness 工程质量，还开源 Mini Coding Agent 实现六大组件。
北大校友、华人学者金驰新身份——普林斯顿大学终身副教授
华人学者金驰宣布在普林斯顿晋升为终身副教授，任命2026年1月16日生效。他在机器学习理论领域贡献大，为LLM崛起提供数学基石，解决非凸优化和强化学习样本效率等问题。
吴恩达来信：认识新一代生成式AI应用工程师
吴恩达介绍新一代生成式AI应用工程师，指出其需具备利用AI构建模块开发应用、借助AI辅助编程能力，有产品能力是加分项，还分享面试考察内容与问题。
DeepSeek正式开源Harness：它终于有了自己的Vibe Coding入口
今晚，DeepSeek 正式发布并开源 DeepSeek Harness（DSH）开发者预览版，它是一套 Agent 运行框架。此前 DeepSeek-V4-Pro 上线，二者结合，Harness 负责将模型能力组织成可工作的 Agent，使 DeepSeek 进入相关竞争。
CVPR 2026｜突破3D空间推理瓶颈：北大联合南科大提出QuatRoPE，让大模型精准理解三维物体关系
北大联合南科大团队提出全新 3D 位置嵌入方法 QuatRoPE，改善大语言模型 3D 空间推理痛点。还提出 IGRE 降低干扰，构建 ASR 基准评估能力。研究被 CVPR 2026 接收，代码与模型已开源。
字节豆包2.0重磅发布！成本暴降一个数量级，Seed团队揭秘视频Agent竞争关键
今日字节发布豆包大模型2.0系列，围绕大规模生产环境需求优化，有Pro、Lite、Mini和Code四款模型。其Token单价低一个数量级，多模态理解能力升级，未来将围绕长链路智能系统构建发展。
商业航天开始交卷
今年工信部批复卫星物联网商用试验许可，商业航天迈进商业化。时空道宇作为获批民企成观察样本，它解决卫星量产等难题，实现车载前装量产，构建全栈闭环能力，为行业提供思路。