80분 만의 난제

OpenAI의 GPT-5.4 Pro가 에르되시 문제 #1196의 해법을 약 80분 만에 찾아냈고, 이어 30분 동안 LaTeX 논문 형태로 정리했다. 현재는 형식 검증이 진행 중이다.

테렌스 타오는 에르되시 문제 포럼에서 이 작업이 정수의 구조와 Markov process theory 사이에 이전에 알려지지 않았던 연결을 드러낸다고 언급했다. 그는 이 결과가 해당 문제 하나를 푸는 수준을 넘어서는, 정수론 측면의 의미 있는 기여가 될 수 있다고 봤다.

OpenAI의 AI for Science 팀에 곧 합류한다고 밝힌 Kevin Barreto도 같은 포럼에서, 모델이 사용한 Markov chain 기법이 오랜 기간 인간 수학자들이 놓쳐온 창의적 단계였다고 평가했다.

핵심 포인트는 다음과 같다.

• 80분 만에 해법 탐색
• 30분 만에 LaTeX 논문 초안 생성
• 형식 검증 진행 중
• 수학적 새 지식이 학습 데이터 바깥이 아니라, 이미 알려진 데이터 안에 숨겨져 있을 수 있다는 논쟁을 자극