오픈AI가 80년 된 에르되시 추측 반례를 찾는 데 성공했지만, 해석은 신중해야 한다는 평가가 나왔어요

오픈AI가 80년 된 에르되시 추측 반례를 찾는 데 성공했지만, 해석은 신중해야 한다는 평가가 나왔어요.

이번 결과는 미공개 추론 모델이 긴 체인오브소트로 후보를 탐색하고, 수학자들이 그 긴 추론 기록에서 반례를 골라 표준적인 짧은 증명으로 다시 정리한 방식이었어요.

핵심 포인트는 기존 수학 AI처럼 복잡한 외부 도구 스캐폴딩 없이도, 모델이 끈질기게 문제 공간을 뒤져 반증 가능성을 밀어붙였다는 점이에요. 특히 80년 동안 '참일 것'이라는 가정에 치우친 탐색 편향을 정면으로 깼거든요.

즉, 이번 성과는 AI의 '창의성'보다 초인적인 인내와 체계적 탐색이 수학 연구의 병목을 바꿀 수 있다는 신호에 더 가까워 보여요.