20个Codex账户并行破解Erdős难题

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel

数学家Paul Erdős留下的第123号难题困扰学界多年，核心在于如何在互质整数幂的和中，确保选出的项互不整除。团队利用20个Codex账户并行运行，结合Lean 4和Mathlib进行了形式化证明。关键突破在于构建“齐次水平坐标系统”，将复杂的整除约束转化为同阶指数下的加法问题，并利用“内部壳层”技巧扩展了区间宽度，最终成功证明了对于任意互质三元组，所有足够大的整数均可表示为满足条件的互不整除项之和。

"真正的突破在于将主要增长沿内部齐次射线展开，然后利用未使用的横向条带作为可选质量。"