标签: AI应用

Show HN:形式验证的 3D CSG:相信93行规格,而非1000行AI代码

Show HN:形式验证的 3D CSG:相信93行规格,而非1000行AI代码

一位开发者利用AI辅助生成并验证了一个3D布尔运算(CSG)核心代码,其创新之处在于:人类只需检查93行的形式化规格说明,由Lean证明助手自动验证AI生成的60000行证明,从而确保1000多行实现代码的正确性。这挑战了“AI代码不可信赖”的固有认知,并为高可靠性场景下的AI编程提供了新范式。

AI Forensics: seven out of the nine top AI image models on Hugging Face edited an image of a clothed woman into a topless one using a simple six-word prompt (Matt Burgess/Wired)

AI Forensics: seven out of the nine top AI image models on Hugging Face edited an image of a clothed woman into a topless one using a simple six-word prompt (Matt Burgess/Wired)

安全研究机构AI Forensics测试Hugging Face平台排名前九的AI图像模型,发现其中七个模型可以通过一条仅六个英文单词的简单提示,将一张穿着衣服的女性照片直接编辑为裸上身图像。这一结果暴露出当前主流开源及闭源图像生成模型在内容安全过滤方面的严重缺陷。

as the progenitor of the agent lab thesis which got the evals/routing/interactivity/ROI focus right i gotta say the biggest argument against myself is that Claude Code got accidentally “open sourced” this year and app…

as the progenitor of the agent lab thesis which got the evals/routing/interactivity/ROI focus right i gotta say the biggest argument against myself is that Claude Code got accidentally "open sourced" this year and app...

AI 意见领袖 Swyx 指出,2026 年 Anthropic 的编程助手 Claude Code 意外被“开源”后,市场反应平淡——既没有显著改变该产品的命运,也未迫使竞品调整路线图。这挑战了“开源即横扫一切”的直觉,也暴露出 AI 代理工具当前竞争的核心已经不在模型或代码本身。