「可验证性」共找到 4878 篇相关文章
Angular 官方的智能体 Skills 助力 AI 编程工具生成现代化的 Angular 代码
谷歌 Angular 团队发布 angular/skills 仓库，含两种智能体 Skills，能让 AI 编程智能体编写现代化 Angular 代码。这些 Skills 针对特定工具设计，开发者可安装使用，社区对此看法不一。
告别玄学选LLM！弗吉尼亚理工选型框架入选ICML 2025
弗吉尼亚理工大学研究人员推出选型框架LensLLM，可预测微调后性能走势，解释大模型微调“玄学现象”。它基于全新PAC - Bayes泛化界限推导，降低成本近90%，被ICML 2025收录。
津渡生科邓司伟：「AI+生物制造」到底是什么？全链智能已经实现
当前生物制造迈向大规模工业化，AI深度介入。津渡生科邓司伟在大会指出，应构建全链路智能闭环，将AI渗透到发现、验证、生产三阶段，重塑工艺边界，实现专业经验去中心化。
几分钟扫完细菌全基因组，MIT团队用AI找出大量未知的抗病毒防御系统
MIT科学家开发AI模型DefensePredictor，能从细菌基因组快速找防御系统。用约1.7万个细菌基因组训练，借助ESM2蛋白语言模型，几分钟扫描完一个细菌全基因组，还开源供科学界使用，潜力巨大。
一键检测你的电脑能跑哪些大模型，这项目6！
介绍工具`LLMFit`，它用Rust编写，能自动检测硬件配置，判断大模型能否流畅运行，还可推荐最优量化版本和运行模式。该项目在Github获5.9k+ star，有多种安装方式。
Trae-Agent 刚刚开源，Windows-MCP 操作你的电脑，Chrome MCP 让AI自动化完成浏览器任务。
Trae - Agent 开源，可完成软件工程任务。Windows - MCP 能让 AI 操作 Windows 系统，Chrome MCP Server 使 Chrome 成 AI 助理。还介绍了 Gemini Cli、Claude 等工具及特点。
物理-数据双驱动的大迎角非定常气动力建模 | 航空学报CJA
现代飞行器大迎角机动时，气动力复杂，现有建模方法面临两难。论文提出DEM - LSTM混合框架，结合专家经验与数据驱动，解决小样本、强非线性挑战，经算例验证性能优势明显。
Anthropic说：Session Management 是最好用的 Harness Engineering！
Anthropic指出管理Session、Context等在Claude Code上已落地。模型上下文并非越长越好，rewind比纠错好，compact要把握时机，subagent可隔离上下文，如今行业看重agent产品runtime。
开源版AlphaXIV
开源版AlphaXIV可实现与arXiv论文智能对话，打破传统文献阅读壁垒。它利用微软Markitdown转换PDF，用MiniRAG索引内容，借助Google的Gemini API对话，还介绍了功能、问答流程、安装使用等。
独家丨欧拉万象完成数亿元融资，要做「养成系」家庭具身智能机器人
AI科技评论独家消息，家庭具身智能企业欧拉万象近日完成数亿元融资，由招商局创投领投。其创始人团队背景强大，走‘渐进式进化’技术路线，将推可养成机器人，策略务实获资本认可。