Tag
Researchers used 20 parallel Codex accounts to solve 20 Erdős problems, including a formal proof of Erdős problem #123 in number theory using Lean.
This paper introduces LoopCoder-v2, a 7B code model that benefits most from a single rethinking loop; additional loops degrade performance, challenging the assumption that more test-time compute always helps.