캘리포니아에서 천재 30명을 10분 만에 침묵시킨 AI의 정체: 충격적인 회의의 전모

1. 서론

2025년 5월 17일부터 18일까지, 미국 캘리포니아 대학교 버클리 캠퍼스의 한 구석에서 비밀 수학 서밋 "FrontierMath Symposium"이 개최되었습니다. 초대된 사람들은 수론, 기하학, 위상수학 등 최전선에서 활약하는 30명의 연구자들이었습니다. 그들 앞에 나타난 것은 인간이 아닌 OpenAI의 최신 "추론" 모델 o4-mini였습니다. ― 단 48시간 후, 참가자들 대부분은 "AI가 수학의 천재 영역에 발을 들이고 있다"고 입을 모았습니다. Live Science

2. o4-mini란 무엇인가

o4-mini는 기존 GPT-4 계열이 어려워했던 "깊은 추론"을 경량 모델로 실현하는 것을 목표로 4월에 공개된 LLM입니다. OpenAI는 NPO Epoch AI와 협력하여 비공개 300문제로 성능을 측정하는 벤치마크 FrontierMath를 구축했습니다. 그 결과, 기존 모델이 정답률 2% 미만이었던 난문군에서 o4-mini는 **20%**를 해결해 보였습니다. Scientific American

3. 비밀 회의의 이면

• NDA와 Signal
  참가한 수학자들은 모두 NDA를 체결했습니다. 문제가 학습 데이터에 혼입되지 않도록 연락은 암호화 채팅 Signal만 사용했습니다. Live Science

• 현상금 7,500 달러
  "AI가 풀 수 없는 문제"를 만들면 그 출제자에게 상금이 지급되는 제도가 동기부여로 작용했습니다. Scientific American

• 놀라운 10분 해답
  수론의 권위자인 켄 오노 교수는 "박사 과정 수준의 미해결 문제"를 출제했지만, o4-mini는 10분 만에 완답했습니다. 오노 교수는 "증명 by intimidation을 마스터하고 있다"고 쓴웃음을 지었다고 합니다. Live ScienceScientific American

4. 인류 VS AI: 승패의 행방

이틀간의 사투에서 인간 측이 AI를 완전히 침묵시킬 수 있었던 문제는 10문제에 불과했습니다. 수학자 중 한 명인 Yang-Hui He 씨는 "이제는 뛰어난 대학원생이 아니라 공동 연구자 수준"이라고 평가했습니다. Scientific American

5. SNS에서 폭발한 찬반

긍정파는 "AI 연구 효율의 폭발적 증가"를 환영하는 반면, 회의파는 "연산 결과는 맞아도 논리가 파탄났다면?"이라며 '검증 비용의 폭증'을 우려했습니다.

6. 수학 연구는 어떻게 변할 것인가

1. 역할의 분화 ― 수학자는 문제 설정과 아이디어의 미적 평가로, AI는 계산 및 증명 생성으로.

2. 교육 커리큘럼의 재설계 ― 창의성과 직관을 키우는 과제가 중시되고, 정형 계산은 AI에 맡겨집니다.

3. 증명의 신뢰성 문제 ― "AI가 작성한 증명"을 인간이 검토할 수 있는 시스템(기계 가독 형식이나 형식화 증명)의 중요성이 급상승.

7. 남겨진 과제

• 귀납에서 창조로: o4-mini는 기존 문헌의 "재구성"에 능하지만, 정말로 새로운 정리를 만들어낼 수 있는지는 미검증.

• 블랙박스성: 추론 체인이 후속 연출일 가능성(이른바 "먼저 답을 맞추고 나서 설명을 쓰는" 현상)이 지적되고 있습니다. Reddit

• 평가의 공정성: Epoch AI와 OpenAI의 자금 관계를 의문시하는 목소리도 속출.

8. 미래 시나리오

9. 결론

"범용 AI는 오지 않는다"는 기존 논리를 현장 최전선의 수학자들이 뒤집은 주말이었습니다. 인류가 가진 "질문을 던지는 힘"과 AI의 "해답을 만들어내는 힘"의 협주가 시작될 것인가. 아니면 창조성의 마지막 보루까지 넘겨주는 날이 올 것인가. 버클리의 밀실에서 울린 환호와 비명은 가까운 미래의 지적 생태계를 예고하는 알람이었을지도 모릅니다.