AI 编程 › AI 资讯 › 正文

Coding Agents for Coding Theory

arxiv · arXiv · 2026-09-30 14:17 · 评分 80

人类限定问题并设定验证协议,LLM编码智能体自主编写验证器和搜索代码,用约四倍缩减的对称性搜索将长度6、最小编辑距离3的DNA条形码码字上界从114提高到120。

原文:arXiv | 返回 AI 资讯列表