OpenAI의 아스트라, 수학 난제 10개 해결… 심각한 우려도 제기

8월 1일, OpenAI는 차세대 언어 모델인 Astra의 내부 버전이 수학 및 이론 컴퓨터 과학 분야의 열 가지 미해결 문제를 해결하거나 결정적으로 진전시켰다는 블로그 게시물을 게재했습니다. 문제는 고차원 기하학, 코딩 이론, 산술 회로 복잡성, 군론, 연산자 대수, 양자 복잡성, 격자 기반 암호화, 극단 조합론과 같은 고급 주제에 걸쳐 있습니다. OpenAI는 각 문제당 약 2,000달러에 해당하는 토큰 비용으로 전체 작업을 수행했으며, 결과는 Lean 공식 증명 보조 도구를 사용하여 인증되었다고 밝혔습니다. 이 발표는 수학계 내에서 흥분과 우려를 동시에 불러일으켰습니다. 연구원 Jay Cummins는 AI가 자신이 수년간 개인적으로 연구해 온 문제를 처음으로 해결하여 패배를 받아들이기 어렵다고 언급했습니다. 투자자 Nicolas Bustamante는 문제가 프롬프트 하나로 해결될 때 누가 공로를 인정받는지, 필즈상의 미래에 의문을 제기했습니다. 특히, 필즈상 수상자 Jacob Tsimerman은 7월 말에 토론토 대학의 교수직을 잠시 접고 OpenAI에 합류했으며, 수학 능력이 아닌 AI 안전에 초점을 맞추고 있습니다. 또 다른 필즈상 수상자인 Terence Tao는 위험한 변화에 대해 경고했습니다: AI가 자동 증명 생성을 함에 따라 수학은 희소성에서 풍요로움으로 이동하지만, 연구자들은 증명의 검증과 '소화'를 따라잡을 수 없습니다. 그는 AI가 만든 원시 증명을 커뮤니티 포트럭에 던져진 '미스터리 동물 사체'에 비유하며, 아무도 그것을 정리하고 요리할 시간이 없다고 말했습니다. Tsimerman은 또한 전문 지식이 없는 사용자가 원시 ChatGPT 출력을 연구소에 제출함으로써 '수학적 쓰레기'가 증가하는 것에 대해 탄식했습니다. 두 사람 모두 유명한 추측에 대한 공식적인 해결책이, 인간이 그 해결책을 이해하지 못함에도 불구하고, 해당 주제에 대한 자금 지원과 관심을 죽일 수 있으며, 이해 없이 진행되는 학문으로 이어질 수 있다고 경고했습니다.