20個のCodexアカウントを並列実行してErdős問題20問を解決

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

Star Fleet Mathプロジェクトは、20個のCodexアカウントを並列実行し、Erdős問題20問を解決しました。その中には、#123（数論）の肯定的解決と、#129（ラムゼー理論）の反証が含まれます。すべての証明はLean 4とMathlibで形式的に検証されています。#123では、同次レベルと内殻増幅を用いて、任意の大きな区間を原始和で表現する新しい手法を開発しました。#129では、確率的手法により、提案された上界が偽であることを証明しました。