待验证50% 置信事实精确时间

FunSearch利用大模型生成代码形式的数学构造，通过自动评估器迭代进化，在cap set问题和bin packing问题上取得突破

1

来源数

50%

置信度

长期有效

时效性

2026/8/13

首次发现

来源

Claude攻克黎曼猜想边界：零点比例从41.6%跃升至67.2%

相关事实

待验证FunSearch让LLM生成Python程序代表数学构造，通过自动评估器打分，高分程序被保留作为上下文反馈76% 相似待验证该工具通过积木式搭建生成的自动化脚本，最终效果与直接用代码编程完全一致66% 相似待验证程序通过余弦相似度计算相关段落，动态拼装发送给 AI 的 prompt，实现标准 RAG 流程65% 相似已验证SWE-bench要求模型在给定完整代码仓库上下文情况下自动生成能通过测试的补丁代码65% 相似待验证CodeBuddy提供三种工作模式：Craft（直接生成代码）、Ask（问答模式）和Plan（深度规划模式）64% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/742423

API

curl https://kongchang.com/api/v1/knowledge/claims/742423

MCP

get_claim(id=742423)