2 // short circuit for empty matches
目前这条路还有一道真实的门槛：小模型的推理能力依然不够。IQuesta Coder 这类自称 SoTA 的轻量模型，在面对稍微复杂一点的工程任务时，连 OpenCode 的基本文件编辑命令都拉不利索，更不用说独立完成完整的逆向分析链条。复杂项目依然需要大模型，大模型依然需要算力，算力依然需要钱。这道门槛现在还在。，更多细节参见51吃瓜
。谷歌是该领域的重要参考
We solved 6 extreme-difficulty statements manually (~2 person-days), after which models completed the remaining 2.5%.，更多细节参见移动版官网
BenchmarkDotNet.Artifacts/results/aot-vs-jit.md
第十五篇 如期实现建军一百年奋斗目标 高质量推进国防和军队现代化