오픈AI가 저명한 수학자들로 구성된 자문 그룹의 추천을 받아, 수학 분야의 372개 주요 난제를 동시에 해결하는 파격적인 결과를 공개했습니다. 이 중에는 복잡도 이론(complexity theory) 분야에서 스콧 애런슨(Scott Aaronson) 교수의 아내가 평생을 바쳐 연구했던 '고유 게임 추측(Unique Games Conjecture, UGC)'의 증명도 포함되어 있어, 수학계는 충격과 함께 새로운 시대의 도래를 예감하고 있습니다.
이번 발표는 UGC 외에도 L=BPL(확률적 로그 공간과 결정론적 로그 공간의 동일성), O(n log n)보다 빠른 푸리에 변환(Fourier Transform) 및 정수 곱셈, 유니터리 합성 문제(Unitary Synthesis Problem)의 긍정적 해법 등 다양한 분야의 오랜 난제들을 포함합니다. 특히 UGC 증명은 최적화 문제들이 NP-난해(NP-hard)임을 입증하는 데 중요한 역할을 하며, 이번 AI 증명은 완전히 새로운 '기이한 코드(bizarre code)'와 '노이즈 테스트(noise test)'를 활용한 재귀적 구성 방식을 사용한 것으로 알려졌습니다. 하지만 증명서(Lean certificate)는 존재하지만, 아직 어떤 인간 수학자도 이 증명들을 완전히 이해하지 못해 검증 경쟁이 막 시작된 상황입니다.
이러한 AI의 수학적 발견은 인간 수학자들에게 복잡한 증명을 이해하고 검증하는 새로운 과제를 안겨주었으며, 동시에 AI가 수학 연구의 강력한 도구가 될 수 있음을 시사합니다. 미래에는 인간의 창의적인 아이디어를 AI가 구현하고 검증하는 협력적인 수학 연구 환경이 구축될 수 있습니다. 이는 수학뿐만 아니라 이론 컴퓨터 과학, 수리 물리학 등 다양한 학문 분야에 걸쳐 패러다임의 변화를 가져올 것이며, 인간과 AI의 협업을 통해 해결 불가능해 보였던 문제들을 풀어낼 가능성을 열어줄 것입니다.