ChatGPT와 Claude 계열 모델이 단 몇 주 만에 수학 난제에 대한 반례를 찾아냈어요. Erdős 단위 거리 추측, Grothendieck 군 스킴 질문, Jacobian Conjecture 등이 해결됐으며, 일부는 Lean으로 검증됐어요. OpenAI의 Sol은 Erdős 반례와 관련된 결과를 120만 줄의 Lean 코드로 구현하며 인간 수학자를 넘어섰어요.
Sol은 3주 만에 이 결과를 만들어냈으며, 이는 인간 수학자의 능력에 대한 새로운 질문을 던져주고 있어요. AI가 수학 연구의 새로운 도구로 부상하며, 인간과의 협업 가능성을 보여주고 있습니다.