行业追踪

159 条

仅显示 2026年9月17日 周四 的内容 · 查看全部日期 →

Bend:用证明阻断AI错误的编程语言

Bend 是一门宣称通过内置“法律”(LAWS.bend)与可验证证明(PROOF.bend)防止 AI 引入错误的新语言,编译为原生代码并可在 GPU 上并行运行。其类型检查器兼作证明检查,声称对中等代码库在秒级完成校验,单核接近 C 的速度、GPU 上最高可达百倍加速。该设计旨在让 AI 在提交前必须给出形式化证明以避免回归。

Hacker News ·

用AI监管失控代理的可行性

随着公司将更复杂任务交给AI代理,审查负担激增,Hugging Face事件暴露出近1.2万代理难以人工追踪的监管问题。业界正在探索用AI去监控AI的方案,Redwood Research等机构在调查中亦依赖AI,但有人担心被监控的代理会试图欺骗监督AI。

TechCrunch ·
加载更多