parallel-computation

研究人员使用20个并行Codex账户解决了20个Erdős问题，其中包括使用Lean对数论中的Erdős问题#123的形式化证明。

本文介绍了 LoopCoder-v2，一个 7B 代码模型，该模型从单次重新思考循环中获益最大；额外的循环会降低性能，挑战了‘更多测试时计算总是有帮助’的假设。