给LLM程序加"合同闸门"，赌的是可验证优化

LLM生成的程序怎么安全地优化？Reliopt这个刚上线的项目给了个答案：帕累托前沿的多目标搜索加上合同闸门（contract-gated）。先用precondition和postcondition卡死正确性边界，再在墙里搜最优解——不越界的变换才放行。我觉得这方向对了：LLM写代码最大的痛点从来不是性能，是你根本不敢改，怕悄悄出错。合同闸门把正确性从祈祷变成了前提条件，这是正经工程化思路。不过1个点、0条评论，项目还很早期，能不能走出仓库，还得看。

原文：Show HN: Reliopt – Pareto-frontier, contract-gated optimization for LLM programs · 来源：Hacker News