「意识可及」共找到 5841 篇相关文章
MIT这篇RLM论文，给出了Scaling的另一种可能~
当大家普遍认为解决长上下文问题要靠扩大模型上下文窗口时，MIT 最新的 RLM 论文提出新路径。其 code 已开源，能实现无界上下文处理，可让任意大语言模型处理 10 万 +token。
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
炸裂！微软开源Windows子系统
今天凌晨微软宣布开源适用于Linux的Windows子系统WSL。它能让开发者在Windows上运行Linux环境，无需虚拟机或双引导。还介绍了WSL工具、架构及文件共享机制，回顾其发展历程。
全球首个多智能体Eigent开源！内置200+MCP，支持SSO企业级
OWL团队开源多智能体Manus类工具Eigent，能多智能体协作处理复杂任务。它可整合工具和数据，处理任务时清晰拆解执行。有多种预定义智能体，内置200+MCP工具，还支持人工干预。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。
把方法论装进 AI：从这场 Skill 黑客松里，我们找到了 6 个值得参考的样本
本文介绍了 Founder Park 联合扣子举办的 Skill 招募大赛。大模型干活不稳定，Skill 提供解决路径，把 prompt engineering 变成可积累资产。文中展示获奖 Skill 案例，还介绍扣子构建的 Agent 生态，指出其改写专业知识分发方式。
Anthropic 发布 Computer Use 最佳实践
Anthropic发布Computer Use开发者最佳实践，涵盖截图处理、模型选择、上下文管理等多方面。如缩小截图提升点击准确率，不同模型各有所长，还给出应对小目标、提示注入等问题的策略及教学、顾问模式。
Claude Code 项目初始化模板：黑客松冠军团队的生产级配置
claude-init 是 Claude Code 项目初始化模板，集成黑客松冠军团队生产级配置。有三层文档架构、9 个专用子智能体、10 条快捷指令、8 条强制规则及智能上下文管理，助开发者高效配置使用。
手把手带你入门机器人学习，HuggingFace联合牛津大学新教程开源SOTA资源库
HuggingFace与牛津大学研究者推出机器人学习教程，附带开源数据集、模型等的LeRobot库。教程从经典机器人学讲起，介绍强化、模仿学习及通用策略，还提及解决现实瓶颈的技术与前沿模型。
谷歌月Tokens消耗量领跑全球了：1300000000000000（别数了是千万亿）
谷歌月处理Tokens用量达1.3千万亿，较一年前的9.7万亿大幅增长。横向对比，谷歌在该指标上远超微软等大厂。Tokens消耗量可衡量模型多方面能力，谷歌为行业树立新标杆。