Codex 20개 계정을 병렬로 돌려 Erdős 문제 20개를 풀다
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
Star Fleet Math 프로젝트는 20개의 Codex 계정을 병렬로 활용해 Erdős 문제 20개를 해결했다고 주장합니다. 이 글은 그중 두 문제에 대한 접근법과 결과를 자세히 소개합니다. 첫 번째는 #123으로, pairwise-coprime 정수 a,b,c>1에 대해 충분히 큰 모든 정수가 서로를 나누지 않는 a^i b^j c^k 형태의 서로 다른 항들의 합으로 표현된다는 것을 Lean 4로 공식 증명했습니다. 두 번째는 #129로, 제안된 상한 R(n;3,r) < C^(√n)이 실제로는 거짓임을 공식적으로 반증했습니다. 이 프로젝트는 대규모 병렬 AI를 수학 연구에 적용한 사례로 주목받고 있습니다.
성공적인 좌표 변경은 단순히 '동차 준위에서 작업하는 것'이 아니라, '주요 성장을 내부 동차 광선을 따라 배치하고, 사용되지 않은 가로 띠를 선택적 질량으로 활용하는 것'이었습니다.