「图形化工作流」共找到 401 篇相关文章
大树之家团队师生赴希腊参加第一届人工智能与流体力学国际研讨会（AIFLUIDs）
第1届人工智能与流体力学国际研讨会于2025年5月27 - 30日在希腊举办，由多所高校联合筹办，34国超300名学者和近20家科技公司参会。大树之家团队8人参与，作报告获高度关注，加强了学术交流。
Kimi K2基于DeepSeek V3构建
从Hugging Face模型配置文件可知，月之暗面未设计全新模型结构，而是选Deepseek V3作基座模型，用自身高质量数据、独特方法做大量‘微调’和‘后训练’。
无痛使用vLLM的工具来了！
vLLM功能强大但上手门槛高，开源项目vLLM Playground是界面化工具，能解决使用难题。它零配置，集成官方vLLM recipes，内置性能测试，安装简单，对业务团队很友好。
Karpathy Vibe Coding整新活：Agent版「GitHub」问世
最近，Karpathy 玩 Vibe Coding 上瘾，上周末开源项目让 AI Agent 自主实验，10 多小时前又开源「agenthub」，这是 Agent - first 协作平台，可理解为极简版 GitHub，还能用于构建自治学术体系。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
Claude for Chrome来了！可作为浏览器扩展程序直接使用
Anthropic发布浏览器agent Claude for Chrome，可作Chrome扩展程序使用，能设日历、回邮件等。目前仅向1000名Max套餐用户开放，因使用浏览器的AI有安全挑战。AI浏览器成巨头争夺战场。
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
开源沉浸式「AI 教师工具」，学生还上什么补习班？
介绍开源项目ChatTutor，它是面向理工科的智能可视化教学助手，结合对话式AI与多类型可视化知识画布，能图文并茂讲解知识点，让复杂知识图形化呈现，提升学习效率，有望推动AI教育落地。
智能体A2A落地华为新旗舰，鸿蒙开发者新机遇来了
华为Mate80系列、MateX7发布会上展示，搭载鸿蒙6的Mate X7实现Agent to Agent智能体协作商用落地。HarmonyOS 6重构应用连接方式，A2A协作带来效率革命，为开发者提供新机遇。
ICLR 2026 | 救命，手机Live Photo重选封面终于不糊了
vivo 蓝图实验室与南开大学联合发布研究，被 ICLR 2026 接收。该研究定义了 Live Photo 重选封面帧修复任务，提出 LiveMoments 方案，利用原始封面帧作参考提升画质，实验表现优，应用场景广。