게티이미지뱅크


한국 수학자들이 검증에 참여한 구글 딥마인드의 수학 인공지능(AI) 에이전트 '알레테이아'가 세계적 난제로 꼽히는 에르되시 문제 13개에 대해 유의미한 해법을 도출했다. 미해결 문제 수백 개를 빠르게 분석한 뒤 인간 수학자와 증명을 주고받으며 이론을 확장하는 협업 능력을 보이기도 했다.
8일 수학계에 따르면 김상현 고등과학원 교수, 정준혁 미국 브라운대 교수, 탕 루옹 구글 딥마인드 선임연구원, 토니 펭 미국 버클리 캘리포니아대 교수로 구성된 연구진은 2일 논문 사전공개 사이트 '아카이브'에 이 같은 내용을 담은 뽀빠이릴게임 논문을 올렸다.
이번 연구에서 알레테이아에 주어진 에르되시 문제는 헝가리 출신 수학자 폴 에르되시가 조합론, 기하, 대수 분야에 남긴 다수의 수학적 문제인데, 요즘은 AI의 수학 능력을 측정하는 벤치마크로 활용되고 있다. 최근 자체 개발한 '수학 AI'로 에르되시 문제 2개를 해결했다고 발표한 스타트업 '액시엄 매스'는 1억 달러 규모의 바다이야기사이트 투자 유치에도 성공했다.
연구진은 알레테이아에 일주일간 에르되시 문제 700개를 풀게 했다. 알레테이아는 이 중 200개에 대한 해답을 제시했고, 연구진은 한 달간 정밀 검증을 거쳐 63개 해답만이 유효하다고 봤다. 이후 문제 서술에 오류가 있거나 너무 쉬운 정답을 내놓은 경우까지 제외해 최종 13개 문제의 답변이 수학적으로 의미 있는 바다이야기디시 결과라고 연구진은 판단했다. 특히 에르되시 1051번 문제 풀이는 별도 논문을 작성할 수 있을 만큼 학술적 가치를 지녔다고 인정받았다.
연구진은 이번 논문으로 AI가 일부 수학 난제를 해결하는 데 실질적으로 기여할 수 있다는 점을 입증했다고 평가했다. 다만 과도한 해석은 경계해야 한다는 태도를 견지했다. 연구진은 "답변이 기술적으로 문제가 바다신2게임 없는 것처럼 보였지만 질문을 잘못 이해해서 나온 것인 경우도 많았다"면서 "AI의 신뢰성이 개선된다면 인간의 주의력이나 시간 제약으로 정체된 수학적 발견에 속도를 낼 수 있을 것"이라고 설명했다.
김태연 기자 tykim@hankookilbo.com