"90년 수학 난제 풀었다"…AI는 88시간, 공식 인정은 최소 2년?[사이언스 PICK]

AI 요약

오픈AI는 약 1만개의 AI 에이전트를 여러 집단으로 나눠 88시간 동안 270만개의 메시지를 주고받고 1300억개의 출력 토큰을 사용해 3차원 나비에-스토크스 방정식에서 외력이 있는 경우 유한한 시간 안에 속도값이 끝없이 커지는 특이점이 생길 수 있다는 반례를 제시했습니다. 이후 GPT-6 아스트라가 17시간에 걸쳐 이를 린(Lean)이 읽을 수 있는 형태로 옮겨 린의 검사를 통과했지만 린 검사 통과는 입력된 문제가 원래 밀레니엄 문제와 정확히 일치하는지 여부를 대체하지 못하며, 클레이 수학연구소의 공식 검증을 받으려면 지정 학술지 게재와 최소 2년의 경과 등 추가 절차가 필요합니다. 전문가들은 AI가 해법 후보 생성 속도를 크게 높였지만 인간에 의한 검증·이해와 정준화, 선행연구 데이터 활용 및 공로 배분 문제 해결이 남아 있다고 평가합니다.