지금 수학 검색하는 이유, 40년 수학 난제, AI로 두달 만에 해결… 필즈상 사라질지도

수학이 08일 검색창을 달구고 있습니다. Daum가 전한 '40년 수학 난제, AI로 두달 만에 해결… 필즈상 사라질지도 몰라' 소식이 계기가 됐습니다. 짧은 시간에 200+ 이상의 검색이 몰렸습니다.

이후 관련 보도가 이어졌습니다. 지난달 논문 사전 공개 사이트 아카이브에 올라온 한 논문에 전 세계 수학계의 관심이 쏠렸습니다. 논문 첫 페이지에는 일부 계수가 14자리(수십조)에 달하는 복잡한 23차 다항식이 실렸습니다. 필즈상(Fields Medal)은 세계수학자대회에서 4년마다 수여하는 상으로 수학계의 노벨상이라 불릴 만큼 권위가 높습니다. 얼마 전에 미국 필라델피아에서 열린 국제수학자대회에서 수상자 네 명이 발표됐습니다.

앤트로픽(Anthropic)의 인공지능(AI) 모델 클로드(Claude)가 수학계의 난제로 꼽혀온 페르마의 마지막 정리(Fermats Last Theorem)의 완전한 컴퓨터 검증 증명을 최초로 완성했습니다. 앤트로픽은 4일(현지시간) 클로드가 정리를 증명하는 수학적 논리를 컴퓨터가 직접 검증할 수 있는 형태로 변환하는 형식화(formalization) 작업을 11일 만에 사실상 자율적으로 수행했다고 밝혔습니다. 충북 단양군은 올해 처음 지역 고등학생을 대상으로 해외 수학여행 경비 지원 사업을 진행한다고 8일 밝혔습니다. 강원 동해시가 걸그룹 리센느(RESCENE)와 함께 동해 수학여행을 떠납니다. 동해시는 리센느가 지역 주요 관광지를 직접 여행하고 체험하는 여행 예능형 유튜브 콘텐츠 동해 수학여행을 제작해 순차적으로 공개한다고 8일 밝혔습니다.

수학 이슈가 어디까지 이어질지 지켜보는 것도 관전 포인트입니다. 비슷한 시각 급상승한 다른 이슈는 아래에서 이어집니다.