「低资源编程语言」共找到 2458 篇相关文章
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
UC伯克利新作颠覆认知：LLM靠「自信爆表」学会推理？无需外部奖励超进化
UC伯克利华人团队发现，LLM不靠外部奖励，仅靠「自信爆棚」就能学会复杂推理。他们提出基于内部反馈的强化学习（RLIF）新范式，用INTUITOR方法让模型用自身置信度作内在奖励，在多任务中表现良好。
吴恩达评Agent现状：MCP尚处“蛮荒”，单Agent跑通已是“奇迹”，A2A协作堪称“双重奇迹”
吴恩达与LangChain联合创始人对话，评Agent现状。他认为MCP尚处‘蛮荒’，单Agent跑通不易，A2A协作更难。还谈了Agentic架构、AI系统构建、工具使用、语音技术等，给出创业建议。
完全开源低成本的双足机器人
Unitree Qmini是完全开源的低成本双足机器人，能3D打印制作。它有完整开源资源，开发者可轻松获取组件，3 - 5小时完成组装。其设计模块化，适用于个人、教育、研究等多场景。
大厂程序员：AI正在将我们变成高速流水线工人，受不了了
亚马逊鼓励程序员用AI，结果成变相强迫，人员减半、项目提前，程序员只能让AI写代码，但AI编程正确率低，让工作更繁杂，职业晋升也成问题。亚马逊官方称AI能提效，双方看法不一。
The Batch：826 | 提高输出准确性的记忆层
通常提高大语言模型事实准确性需更大模型规模，会增加计算成本。Meta研究人员在transformer架构加可训练记忆层，可高效存储提取信息，提升计算效率，测试显示其能提升模型输出质量。
1/8成本比肩Claude 3.7，Mistral Medium 3来了
“欧洲OpenAI”Mistral AI发布多模态新模型Mistral Medium 3，主打编程和多模态理解，成本仅Claude 3.7的1/8，性能达其90%，API已上线，还推出企业聊天机器人服务，引发网友不同看法。
TreeHop：无需LLM的高效多跳问答新范式
多跳问答（MHQA）任务有挑战，现有方法依赖LLM，计算成本高、延迟显著。TreeHop研究提出新方案，摒弃LLM，通过嵌入空间动态更新，降低延迟、减少模型参数量，还在主流数据集表现佳，适合工业应用。
腾讯把WorkBuddy这张王牌，开放给100多家公司｜甲子光年
9月2日，腾讯WorkBuddy举办生态发布会，开放平台正式上线，首批引入超百家生态伙伴，开放底层Agent能力。其在AI办公赛道竞争激烈、产品同质化的背景下做出此开放动作，且面临生态繁荣、商业化等问题。
0.25秒识破未见攻击，这套检测方法没看过任何越狱样本 | EMNLP'26
大视觉语言模型带来隐蔽攻击面，现有检测器难平衡。中国人民大学与阿里巴巴集团联合提出Learning to Detect（LoD），不依赖攻击样本和手工规则，从模型内部激活学安全模式，实验效果好且代码开源。