국제수학올림피아드에 도전한 AI, 결과는?
과학동아 2024년 03호
수학은 더 이상 인간의 전유물이 아니다. 계산 능력은 이미 수십 년 전 컴퓨터에게 따라잡혔고, 최근에는 고도의 논리력과 사고력을 요하는 수학의 증명까지 인공지능(AI)이 해내기 시작했다. 그중 가장 화제가 되는 것은 구글 딥마인드 연구팀이 개발한 기하 증명 AI ‘알파지오메트리’다. 알파지 ...
수학은 더 이상 인간의 전유물이 아니다. 계산 능력은 이미 수십 년 전 컴퓨터에게 따라잡혔고, 최근에는 고도의 논리력과 사고력을 요하는 수학의 증명까지 인공지능(AI)이 해내기 시작했다. 그중 가장 화제가 되는 것은 구글 딥마인드 연구팀이 개발한 기하 증명 AI ‘알파지오메트리’다. 알파지 ...
에르되시 팔은 전 세계를 여행하며 평생 무려 511명의 사람과 1525편 이상의 논문을 쓴 것으로 유명하다. 그는 어려운 수학 문제에 부딪히면 주위 사람들과 협력을 통해 푸는 것을 즐겼으며, 문제에 상금을 걸어 더 많은 사람이 그 문제에 관심을 갖게 했다. 이토록 수학 문제 풀이에 몰두했던 그도 ...
소수를 수학자들이 언제부터 연구했는지는 확실하지 않다. 인류의 소수 사랑은 1950년 아프리카 콩고에서 발견된 동물의 뼛조각에서 살짝 엿볼 수 있다. 기원전 6500년경 구석기 시대 유물인 ‘이상고 뼈’에는 날카로운 줄무늬가 촘촘히 새겨져 있었다. 학자들은 그 줄무늬가 11, 13, 17, 19 네 개의 수 ...
가장 먼저 다룰 수학자는 ‘페르마의 마지막 정리’로 유명한 프랑스 수학자 피에르 드 페르마다. ‘정수론의 창시자가 피타고라스라면 정수론을 학문의 경지로 끌어올린 사람은 페르마’라는 말이 있을 만큼, 페르마는 현대 정수론의 선구자로 불린다. 미분이라는 개념을 거의 처음 쓴 사람도 페 ...
소수 공식은 소수의 황금계단에 덮인 흙을 모두 제거하고 이 보물을 세상에 드러나게 하기에는 역부족이었다. 실제 소수의 개수와 비교했을 때 작은 오차가 있기 때문이다. 가우스의 제자인 독일 수학자 베른하르트 리만이 스승이 이루지 못한 꿈을 이뤄줄 새로운 방법을 생각한다. 이때 그 유명한 ...
RSA 암호는 인터넷 뱅킹, 인터넷 쇼핑 등 인터넷을 안전하게 이용하는 데 쓰인다. 공개키 암호시스템의 대명사로, 암호가 필요한 거의 모든 분야에서 활용된다. 그러나 RSA 암호는 연산 양이 많아 불편한 점이 있다. 대칭키 암호처럼 단순한 연산이 아니라 큰 정수 연산을 사용하기 때문이다. 특히 ...
![[신의 책] 선택의 순간을 설명하는 몬티 홀 문제](http://dl.dongascience.com/uploads/article/thumbnail/202402/Screenshot_2024-01-28_08.23_.25_7EMjOY_.png)
우리가 살면서 어떻게 해야 할지 모를 때 찍어서 선택하는 경우가 종종 있지요. 이런 선택의 순간에 관한 ‘몬티 홀 문제’가 있어요. 1963년부터 40년간 방영된 미국 오락 프로그램인 ‘Let’s make a deal(거래를 합시다)’에 나온 문제로, 당시 진행자인 몬티 홀의 이름을 따서 붙였어요. 언뜻 생각하 ...
겨울하면 귤입니다. 따뜻한 방에 앉아 손가락이 노래질 때까지 귤을 까먹는 즐거움은 역시 겨울에만 누릴 수 있는 호사죠. 귤을 까먹으며 빨간색 망에 들어있는 귤을 보다 기자는 문득 궁금해졌습니다. 어떻게 하면 망에 귤을 최적의 부피로 포장할 수 있을까요? 답은 예상 외로 복잡합니다! 케 ...
소수의 중요성을 알고 있는 영재학교 학생들에게 소수교 활동은 재밌는 오락거리일 수밖에 없다. 또한 소수를 매개로 수학에 관심을 더 가질 수 있으니 일석이조다. 대학에서 생명공학을 공부하고 싶어하는 소수교 부원 최도휘 학생은 2학년 때 소수교에 가입했다. 그는 영재학교에서 1년을 보내며 ...
컴퓨터로 소수를 빠르게 찾을 수 있는 방법이 등장하면서 막연히 갖고 있던 거대 소수를 향한 관심이 폭발하기 시작했다. 최신 슈퍼컴퓨터를 갖춘 연구소에서 컴퓨터를 돌려 메르센 소수를 하나둘 발견하기 시작한 것이다. 그러다 미국의 IT 전문가 조지 월트먼이 누구나 컴퓨터만 있으면 소수를 찾 ...