일요일 베이징에서 필즈상 수상자 신퉁야우가 이끄는 단체가 ‘야우 수학·인공지능 연구소 연합’을 발표했다. 이 연합에는 중국 연구기관 8곳이 참여하며, 수학용 AI 도구를 연구하는 수학자 1,000명 이상으로 네트워크를 확대할 계획이다. 사우스차이나모닝포스트가 이 소식을 보도했다.
서구 수학자들이 우려하는 이유
유럽과 미국에서는 AI가 생성한 증명에 반대하는 저명한 수학자들이 점점 늘고 있다. 테렌스 타오와 페터 숄체를 포함한 필즈상 수상자 25명은 AI에 의존하면 연구자들이 증명의 논리를 따라가는 능력이 떨어질 수 있다고 말한다. 일부는 AI가 만든 결과를 보이콧하자고 촉구했고, 또 다른 이들은 AI 도구를 공동 저자로 올린 논문이 급증하는 데 우려를 나타냈다.
중국의 수학 AI 전략
중국의 이 연합은 기계가 검증할 수 있는 증명을 생성하는 전문 AI 모델 개발에 주력한다. 다른 연구자들이 확인할 수 있도록 모델이 추론 과정도 설명하게 하는 것이 목표다. 야우는 이런 공동 노력이 없다면 중국이 수학 연구 분야에서 미국에 뒤처질 수 있다고 경고했다.
왜 중요한가
중국의 연합이 성과를 거두면 AI 도구가 수학 연구의 표준으로 자리 잡아 발견을 앞당기는 한편, 증명 검증 방식도 바꿀 수 있다. 학생과 전문가들은 AI가 내놓은 결과를 이해하거나 확인하기 위해 새로운 소프트웨어를 익혀야 할 수도 있다. 서구의 논쟁은 수학 분야의 발전 방향이 갈라질 가능성을 보여준다.
