MONDAY BRIEFING
AI가 만드는 새로운 해답과 검증
AI가 기존 지식을 검색하고 요약하는 도구를 넘어, 장기 미해결 문제의 새로운 해답과 증명 후보를 만드는 연구 협업자로 이동하고 있습니다. 이번 공개의 핵심은 생성 결과만이 아니라 전문가 검토, 추론 과정, Lean 형식 검증처럼 새로운 지식으로 인정받기 위한 검증 자료까지 함께 제시됐다는 점입니다.
AI가 이제 ‘정답을 찾는 도구’를 넘어, 새로운 정답 후보를 만드는 단계로 들어가고 있습니다.
지난 8월 1일 OpenAI는 수학과 이론 컴퓨터과학의 장기 미해결 문제 10개를 해결하거나 크게 진전시킨 결과를 공개했습니다. 고차원 구 채우기, 양자 복잡도, 격자 암호처럼 전문 연구자도 쉽게 다루기 어려운 분야들입니다.
결과를 만든 방식도 흥미롭습니다. 내부 모델 Astra가 수학적 논증을 생성했고, 사람이 이를 논문 형태로 정리한 뒤 모델이 각 논증을 Lean 인증서로 형식화했습니다. 논문뿐 아니라 추론 과정과 검증 가능한 코드도 함께 공개됐습니다.
여기서 중요한 변화는 AI가 기존 논문을 검색하고 요약하는 데서 멈추지 않았다는 점입니다. 아직 알려지지 않은 해답을 탐색하고, 가설과 증명 후보를 만드는 ‘발견의 앞단’으로 들어갔습니다.
다만 그럴듯한 답과 새로운 지식은 다릅니다. AI가 만든 결과가 지식으로 인정되려면 전문가 검토, 형식 검증, 재현 가능한 근거가 뒤따라야 합니다. 이번 공개가 인상적인 이유도 결과만 발표한 것이 아니라 검증할 수 있는 자료를 함께 내놓았기 때문입니다.
이 흐름은 일반적인 지식 업무에도 그대로 이어질 가능성이 큽니다. 앞으로 AI 활용의 차이는 더 많은 정보를 찾는 능력보다, 새로운 가설과 선택지를 만들고 그것을 검증 가능한 형태로 남기는 능력에서 벌어질 수 있습니다.