1
Show HN: Askance, a human-in-the-loop GUI for agentic coding
为代理编程引入人工监督的图形界面，让AI编码更可控，适合追求安全高效开发的团队。
Article URL: https://github.com/tobico/askance Comments URL: https://news.ycombinator.com/item?id=49266555 Points: 1 # Comments: 0
2
中科院院士对话北电数智AI专家：以 AI 与数学 “乘法效应” 开辟产业落地新路径
AI与数学的“乘法效应”如何加速产业落地？院士与专家深度对话，揭开人机协同新范式。
中科院、北电数智等专家共探数学与AI边界
3
A Human-in-the-Loop Corpus for LLM-Based Simplification of Scientific Summaries
通过人机协同构建语料库，用大模型简化科学摘要，为AI辅助学术写作提供新方向。
arXiv:2607.25630v1 Announce Type: cross Abstract: Interdisciplinary research is accelerating, yet scientific papers remain difficult to understand out…
4
PentesterFlow —— 面向渗透测试人员和漏洞赏金猎人的 AI 自动化工作流工具
开源AI安全工具，为渗透测试与赏金猎人自动化工作流，人机协同避免幻觉发现。
5
6
傅利叶发布首款轮式双臂机器人 GRW：三种手随便换、能扛起 16 公斤重物
轮式双臂机器人GRW能换三种手、扛16公斤，专为狭窄空间高负载人机协同场景设计。
IT之家 7 月 18 日消息，2026 世界人工智能大会近日在上海召开。傅利叶昨天在大会上推出首款轮式双臂机器人 GRW，主打仓储物流、工业制造、康养照护等高负载人机协同场景。 据介绍，这款机器人归属辅助型交互类别，采用创新的“长臂窄肩”设计，全身尺寸达 720*618*1160-1650 mm，…
7
征程赶超｜WAIC 2026理论突破：以数理双向赋能为钥，开启AI范式革新新征程
WAIC 2026揭示AI从参数内卷转向数理驱动，三大创新主线开启精细化发展新范式
8
We built inplan – Collaborative Planning between Human and Agent
和AI代理在同一份Markdown文档里协作规划，支持句子级评论和线程讨论，让决策过程清晰可回溯。
Our team kept running into the same thing: the coding agent would jump from a vague plan straight to code, and all the reasoning lived in a linear cha…
9
Toward Human-Centered AI-Assisted Terminology Work
AI与术语工作结合的深度探讨，聚焦人本设计理念，为语言服务从业者提供新思路。
arXiv:2512.18859v3 Announce Type: replace Abstract: Generative AI is likely to transform terminology work by creating new opportunities for automation…
10
人形机器人“城管”上岗，全国首次人机协同城市管理执法试点在沪开展
全国首次人机协同城管试点在上海启动，人形机器人智元灵犀X2上岗，承担普法答疑等辅助执法工作。
IT之家 5 月 22 日消息，据《浦东时报》“EYE 浦东”报道，5 月 20 日，全国首次人机协同城市管理执法试点，在上海市浦东新区张江人工智能创新小镇（简称“张江 AI 小镇”）正式开展。 据IT之家了解，本次试点由浦东城管综合执法局主导实施。执法过程中，无人机智能监管系统 率先发现违规沿街商…