80년 동안 수학자들이 풀지 못한 문제를, AI가 혼자 반증했다

80년 동안 수학자들이 풀지 못한 문제를, AI가 혼자 반증했다.
OpenAI가 어제 공식 발표한 사건.
의미가 보통 일이 아니다.

1946년 폴 에르되시가 제기한 'unit distance' 기하학 추측.
단위 거리 점 집합에 관한 미해결 문제로,
80년 동안 분야 중심 난제 중 하나였어요.
OpenAI 내부 모델이 이걸 자율적으로 반증했다고 공식 블로그에서 밝혔다. 인간이 가설을 잡아주거나 단계를 안내하지 않은 채로.

필즈 메달리스트 Tim Gowers의 평가가 흥미롭다.
"사람이 같은 논문을 Annals of Mathematics에 제출했다면
망설임 없이 게재를 추천했을 것"이라고 했죠.
OpenAI 측은
"수학 분야 중심 난제를 AI가 자율적으로 해결한 첫 사례"로 정의했어요.

핵심은 "보조"에서 "발견자"로 바뀐 순간이라는 점.
지금까지 AI는 수학자가 떠올린 아이디어를 검산하거나 케이스를 빠르게 돌려주는 역할이었다.
이번엔 원본 아이디어 자체를 모델이 만들고,
그걸 끝까지 끌고 갔다.

보안과 AI 양쪽 다 다뤄본 입장에서 보면,
이 사건의 진짜 신호는 다른 데 있죠.
검증이 가장 엄격한 도메인에서
AI가 인간 권위와 동등한 지위를 처음 인정받은 사건이라는 것.
수학은 증명 검증이 가장 빡빡한 영역.
거기서 통과했다는 건 다른 도메인에서 같은 일이 일어날 시간이 가까워졌다는 의미로 본다.
다음 단계는 정리 자동 증명을 넘어,
자율 가설 생성이 일상화되는 구간으로 보인다.
수학에서 이 일이 가능했다면,
코드 보안 취약점 발견·약물 설계·물리학 가설 영역으로 빠르게 확장될 가능성이 있다.