1. 수학계, AI 도입 본격화…구글 '제미니 딥 싱크'가 국제수학올림피아드 금메달 수준 해결
인공지능이 이론 수학의 핵심 연구 도구로 급부상하고 있다. 최근 AI는 복잡한 수학 문제 탐색과 정리 증명 보조에서 인간 수준의 성과를 내기 시작했으며, 이는 단순한 계산 보조를 넘어 연구 패러다임 자체를 바꿀 가능성을 시사한다. 전환점은 2025년 7월 국제수학올림피아드(IMO)에서 나타났다. 구글이 개발한 강화형 AI '제미니 딥 싱크'를 포함한 여러 시스템이 대회의 6개 문제 중 5개를 완벽하게 풀어냈는데, 이는 인간 참가자 기준으로 금메달에 해당하는 수준이다. 이러한 성과는 갑작스러운 돌파구가 아니다. 수학계는 수년 전부터 AI를 연구 도구로 시험해 왔으며,...