「可验证计算」共找到 5082 篇相关文章
清华开源教育龙虾，沉浸式互动课堂，运行成本仅为传统的千分之一
清华大学团队将校内验证两年的AI课堂系统OpenMAIC开源。它能把主题或文档转化为互动课堂，运行成本仅为传统MOOC的千分之一。有多种组件，多智能体协作，还支持多种大模型，已获学生积极反馈。
Anthropic正式请家教！37岁女哲学家像养孩子一样调教Claude
Anthropic的驻场哲学家Amanda Askell，负责为Claude植入「人类的灵魂」。她像育儿一样塑造Claude的「人格」，赋予其道德感，还以同理心对待它。她认为AI可从源头被驯化，也希望更多人讨论AI的恐惧担忧。
AI驱动的开源攻击框架：HexStrike-AI
HexStrike-AI是安全研究员开发的开源攻击框架，2025年7月起在GitHub免费提供。它基于MCP协议，集成LLM与150多种工具，可自动化渗透测试和漏洞发现。曾被网络犯罪分子利用，能加速攻击流程，展现强适应和并行化能力。
AI生成的图片正在反向对齐人类的审美？ICML 2026观点论文Spotlight
UBC和Weathon Software研究指出，图像美学对齐削弱艺术表达。开发者用评估模型让图像生成模型产出符合人类审美的图片，但这导致图片同质化，限制艺术多元性，作者还提出六个相关担忧，并做多项测试验证。
Claude Design连夜突袭，Figma市值瞬间蒸发！或抢走全球UI设计师饭碗
Claude实验室推出Claude Design功能，只需输入一句话就能生成可交互完整原型，让Figma等设计公司股价跳水。它或让画图动作消失，引发对设计师职业是否会被取代的思考，Anthropic还在下更大的棋。
OpenClaw 之后我开始思考：Agent 最重要的两种能力是什么？
OpenClaw爆火后，作者思考AI Agent除执行能力外，还需审美判断力。介绍Seede AI，它与文生图工具不同，能将内容转化为可编辑设计文件，操作简单，效果惊艳，有独特技术逻辑，未来有风格预设等发展方向。
大模型被确诊「视觉文盲」！多校联合提出MILO，为它植入空间想象力
空间推理是多模态大语言模型（MLLMs）应用关键挑战，当前‘语言描述式调优’让模型成‘视觉文盲’。多校联合提出MILO范式，结合视觉生成反馈与语言调优，还构建GeoGen数据集，经五大任务验证其有效。
实测完“灵光”，我意识到人类对 AI 助手的开发不足1%
作者实测蚂蚁集团的AI应用「灵光」，它是面向普通人的零门槛全模态AI助手，能30秒生成可互动小应用。作者测试其三大功能，认为人类对它的开发不足1%，它或成探索世界的伙伴。
POF | 西北工业大学马榕池、高传强等：基于预解分析的圆柱绕流最优射流控制位置对雷诺数依赖性研究
本文提出预解分析有效增益指导控制位置量化设计方法，发现不同雷诺数下最优控制位置关系式，挖掘出射流与主流掺混作用的流动机理，即射流在科恩达效应有效行程内到分离点可最佳抑制涡脱。
Claude Code 推出插件功能
Anthropic宣布Claude Code支持插件系统，开发者用一条命令就能安装定制化工具集合。插件把斜杠命令等打包，可按需开关。使用简单，已有多种插件，还能自行创建和托管，插件功能或成其生态重要进化。