#automated reasoning

OpenAI의 수학 데이터 덤프가 도화선에 불을 붙이다

기계가 작성한 증명 자료가 쏟아져 나오면서 학계의 논쟁이 과학적 진보의 주도권을 누가 쥘 것인가에 대한 시험대로 변했습니다. 놀랍게도 병목 현상은 AI가 답을 내놓을 수 있느냐가 아니라, 과연 누가 그것을 검증하고 이해할 수 있느냐에 달려 있습니다.