OpenAI 수학 난제 해결 발표, 수학계 충격과 혼란

핵심 요약

• OpenAI가 10월 6일 100개 이상의 미해결 수학 난제를 풀었다고 발표하자 수학계 전역이 충격을 받았다.
• 일부 수학자들은 결과가 거의 믿을 수 없을 정도로 놀랍다고 평가하며, Thompson의 그룹이 비단순성(non-amenability), Boone-Higman 추측 완전 해결, Borel 추측 4차원에서의 실패 등이 증명되었다고 확인했다.
• 하지만 이러한 논문들의 품질 문제가 심각하게 지적되었는데, 저자 이름을 밝히지 않고, 저널 투고 절차를 거치지 않으며, 100페이지 이상의 읽기 어려운 'slop' 수준의 글이 다수 포함되어 있다.
• 수학자들은 이로 인해 PhD 학생 양성, 커뮤니티 구조, 출판 규범, 평가 기준, 채용 및 펀딩 방식이 모두 흔들릴 것을 우려한다.
• OpenAI가 Advisory Group on Mathematics and Artificial Intelligence(AGMAI)와 협의했지만 많은 조언을 무시하고 양질의 동료검토 없이 대량으로 논문을 공개한 점이 비판받고 있다.
• 수학 커뮤니티 내에서는 이것이 무신뢰적 기업 행동(bad-faith actor)이라는 평가부터, 새로운 기법을 배워야 한다는 긍정 평가까지 양극단의 반응이 나타나고 있다.
• 일부는 AI 생성 증명을 인정하기 전에 인간 논문과 같은 엄격한 기준을 요구해야 한다고 주장하며, 무검증 결과에 대한 커뮤니티 차원의 무시나 중립 저장소 이전을 촉구한다.
• 젊은 수학자들은 특히 이 급변하는 상황에서 경력 불안, 동기 상실, 진로 방향성 혼란을 호소하고 있다.
• 일부 수학자들은 OpenAI의 행동이 수학을 더 이상 인간의 노력이 아닌 기업의 계산 능력 전시로 격하시킨다고 비판하며, 이것이 '과학 연구의 의의'와 맞지 않는다고 본다.
• 핵심 질문으로는 AI가 풀 수 없지만 인간과 AI의 협력으로는 풀 수 있는 문제들이 존재할 것인지, 미래의 수학자들이 남은 문제들에 대해 용기를 내려 할 것인지, 그리고 인간의 증명 창출과 증명 이해의 분리가 지속 가능한지가 제기되었다.
• 수학자들은 불확실성 속에서도 커뮤니티의 응집력과 집단 논의 능력에 기대하면서, 새로운 '정상 상태(new normal)'에 적응해야 한다는 점에 많이 동의하고 있다.