코덱스 20개를 병렬로 돌려 미해결 수학 문제에 도전
스타 플리트는 맥 앱 하나에서 최대 20개의 코덱스 기반 작업자를 동시에 움직여, 각자 다른 에르되시 미해결 문제를 풀게 하는 시스템이다. 작업자마다 60개 코어가 있는 별도 서버와 인스턴스가 배정되며, 필요하면 대규모 계산 자원도 추가로 사용한다.
논문과 를 검색하고, 자연어로 찾을 수 있는 방대한 정리 자료와 여러 수학 계산 도구도 활용한다. 답은 다른 인공지능 검토 단계와 사람의 추가 검토를 거치며, 최종 증명은 로 컴퓨터가 논리적 빈틈을 검사한다.
현재 사이트에는 27개 에 대한 제안 해답이 공개돼 있으며, 각 해답의 전체 증명 자료와 검증 절차를 내려받아 코덱스··커서로 약 20분 안에 다시 확인할 수 있다. 다만 이는 사이트 운영자가 제시한 결과이며, 제안 해답 모두가 수학계의 독립적인 검토와 공식 인정을 마쳤다는 뜻은 아니다.
핵심 포인트
- 최대 20개의 코덱스 기반 작업자가 서로 다른 문제를 동시에 맡는다.
- 각 작업자에는 60개 코어와 인스턴스가 따로 배정된다.
- 논문·코드·기존 정리를 검색하고 전문 수학 계산 도구를 함께 사용한다.
- 제안된 증명은 로 검사되며 검증 자료도 공개된다.
- 사이트에는 현재 27개 의 제안 해답이 올라와 있다.