AI가 수학 난제 4000개에 도전한 결과, 무엇이 달라졌나

오픈AI가 4000개 수학 난제에 AI를 투입해 722편의 연구 원고를 공개했습니다. 형식 증명 언어 '린'으로 검증한 이 실험이 과학 연구 방식에 미칠 영향을…