「语言学习」共找到 2313 篇相关文章
MariaDB LTS 年度发布集成了向量搜索
MariaDB发布2025年度LTS版本11.8，引入集成向量搜索功能，适用于AI驱动和相似性搜索应用。还增强了JSON功能，提供时态表。新向量数据类型利于机器学习等应用，同时解决了2038年问题。
Claude 4如何思考？资深研究员回应：RLHF范式已过，RLVR已在编程/数学得到验证
Anthropic两位研究员在博客采访中透露Claude 4思考细节。提到可验证奖励强化学习RLVR在编程和数学领域获证明，探讨了RL扩展、模型自我意识等，还为大学生给出AI领域建议。
纯靠“脑补”图像，大模型推理准确率狂飙80%丨剑桥谷歌新研究
剑桥、伦敦大学学院和谷歌团队推出基于强化学习的视觉规划（VPRL）新范式，纯靠图像推理。新框架利用GRPO后训练，准确率达80%，超文本推理至少40%，代码已开源。
OpenAI：GPT-5就是All in One，集成各种产品
OpenAI研究副总裁剧透GPT - 5将整合Codex、Operator等产品。团队分享Codex详情与未来计划，回应10大问题，如语言选择、运行方式等，还将推免费API积分，发布了Codex上手指南。
拆解、对比与优化：LLM工具智能体的五种任务规划与执行模式
文章探讨了大语言模型驱动的AI智能体的五种任务规划与执行模式，包括ReAct、Plan-and-Execute、静态Workflow、Workflow+局部智能、模块化的分层规划，分析其优缺点、适用场景，还给出优化方法。
3.4K star！阿里出品对话式UI神器，轻松打造专业级聊天界面！
ChatUI 是阿里开源的对话式 UI 设计语言与 React 组件库，有智能消息流处理、无障碍访问认证等亮点。技术架构明确，与同类项目对比优势独特，还给出使用指南和实践场景。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
如果你的大学不提供 Token，应该立即退学
本文站在学生角度探讨 AI 时代大学生学习问题。认为高校在 AI 教育上滞后，不提供 Token 不合理。强调学生应善用 AI，具备问题意识、判断力和品味，还给出了使用 AI 的具体建议。
Agentic RL 后训练资源怎么分？港中文、恒生大学提出 Libra，吞吐最高提升 3 倍
大语言模型走向“完成任务”，Agentic RL 后训练让系统工作负载不稳定。港中文和恒生大学团队提出 Libra 资源管理系统，统一优化训练与 rollout，在多任务中提升吞吐，论文与代码已公开。
Meta把内部设计系统开源了，支撑内部13000+应用，专为Agent调优
Meta开源的Astryx大更新，改造成Agent适配设计系统。它已在Meta内部演进8年，支撑13000+应用，提供150+可访问、可主题化的UI组件及开发工具，让人和AI用同一套语言。