术语slug: program-synthesis

程序合成

Program Synthesis

由模型自动生成满足规格约束的可执行程序的技术方向

收录情报动态

共 1 篇 · 第 1/1 页
Hacker News AIT2·基座大模型
72 分
16 款大模型挑战 TIS-100 编程游戏刷新 133 项纪录

Wincon Research 让 16 款前沿与开源大模型在隐藏社区排行榜的条件下挑战 Zachtronics 汇编解谜游戏 TIS-100 的全部 47 道题,模型共刷新 133 项前沿点、在 18 道题上取得新纪录并创下 3 项周期绝对纪录。人类玩家随后数天内接手并改进了其中大部分程序,说明模型产出具备真实工程可用性。