코덱스 20계정 병렬 실행으로 Erdős 미해결 문제 27개 풀었다는 'Star Fleet' 프로젝트 등장 · cho.sh