OpenAI 수학 결과 400건 공개, 학계 수년간 검증 혼란 예고

OpenAI가 조합론, 기하학, 정수론, 위상수학 등 다양한 분야를 아우르는 거의 400개의 AI 생성 수학 결과를 700개가 넘는 원고로 공개했어요. 분량이 워낙 방대해서 목차와 요약만 훑는 데도 한 시간 가까이 걸릴 정도이고, 전체를 이해하려면 수년이 걸릴 거라는 평가가 나옵니다. 결과 중 Lean으로 형식 검증된 것은 719개 원고 중 300개 상위 결과, 약 42퍼센트에 그쳐서 나머지는 수학자들이 직접 하나하나 읽고 확인해야 하는 상황이에요. Imperial College London의 Kevin Buzzard 교수는 자신의 전문 분야인 대수적 정수론에서도 발견한 정리 중 단 6개 정도만 눈에 띄었고 그마저 Lean 검증이 안 돼 있어서, '정확하지 않을 수도 있는 슬롭을 읽거나, 누군가 형식화해줄 때까지 기다려야 한다'고 말했어요.

학계 평가, 연구비 신청, 논문 심사 시스템이 AI가 쏟아내는 대량 결과물을 검증할 체계를 아직 못 갖춘 상태에서 마케팅 업계도 AI 생성 콘텐츠의 신뢰성 검증 비용을 간과하면 안 된다는 점을 시사합니다