Freerange 说大型开源 UI 验证项目已接近当前 AI 上限

jxnlco · x · 2026-07-21

被引内容介绍了 **Freerange**：一个用 Fable 和 Sol 写成的大型开源项目，也被作者称为“在当前 AI 条件下勉强可行”的工作。作者补充说，这个项目代码量一度达到 **5 万行**，经过多轮迭代和大幅收缩后降到 **1.8 万行**；整个过程花了很多个月和大量 token，并特地感谢了 OpenAI 的内部模型访问支持。项目本身的目标是让 UI 代码更可验证：它通过自动推导数值范围，静态证明布局尺寸符合约束、不会出现 NaN/Infinity、数组索引不越界，而且**无需运行代码**就能完成。