HN 用户评 LLM 形式化验证：或印证模型能力存在凸包边界
Hacker News 用户评论 Anthropic 附录中关于 LLM 驱动形式化软件验证的讨论，指出 agent 生成的证明虽在数学上等价有效，但其冗长风格可能遇到复杂度瓶颈，MachCSL 等项目经验显示扩展需要更好的模块化抽象。
#Hacker News
#Hacker News
今日 0 条Hacker News · 首页AI 评分3535
Hacker News · 首页精选AI 评分4242 Hacker News 热议 AI 复刻 Photoshop 争议：性能、经济性与 Adobe 订阅之怨
Hacker News 首页帖子转发并讨论了一篇批评 vibe coded Photoshop 克隆的文章，原文作者质疑花至少 $2K 用 AI 复刻 Photoshop 而 Affinity Photo 免费、Photoshop 每年 $200 的经济性，并指其笔刷在超过 8K x 8K 画布时性能崩溃。
推荐理由：汇集了 Hacker News 上关于 AI 复刻 Photoshop 的正反论据，可快速了解这一争议的多方立场。