일상을 녹아든 인공지능(AI)!인공지능의 능력이 날로 좋아지면서 우리 삶은 편안해졌어. 하지만 이대로라면 우리가 준비하기 전, 사회는 큰 변화를 맞이할지도 몰라! 일리와 함께 전략을 세워 볼까? 추론도 할 줄 안다? 범용인공지능의 시대가 왔다! 지난 11월, 미국 인공지능 기업 OpenAI는 ‘챗GPT-3.5 ...
9월 9일 크라우드 펀딩 사이트 ‘텀블벅’에 재미있는 펀딩이 하나 올라왔습니다. 제목은 ‘상공 30km 목표 아마추어 고체 추진 관측 로켓 개발’. 아마추어 로켓 개발을 위한 자금을 모으는 펀딩이었죠. 이 펀딩을 기획한 단체 ‘Overpace(오버페이스)’는 자신들을 “우주와 로켓을 사랑하는 고등학생 ...
9월 23일 토요일, 영재학교판 데블스 플랜인 ‘제2회 과학예술영재학교 수학교류전ʼ이 세종과학예술영재학교(세과영)에서 열렸어요. 인천과학예술영재학교(인과영)와 세과영은 수학을 매개로 다양한 활동을 함께 즐기기 위해 매년 수학교류전을 진행하고 있어요. 수학교류전은 수학동아리 학 ...
5월 24일 수요일, 전남 고흥 나로우주센터 입구에 마련된 프레스센터에는 이른 아침부터 전국에서 100명이 넘는 기자들이 모여 발 디딜 틈이 없었습니다. 서울역에서 순천역까지 고속철도로 3시간, 순천역에서 다시 버스로 1시간을 달려야만 도착할 수 있는 국토 남쪽 끝이지만, 다들 피곤한 기색 ...
1월의 끝자락, 미국 케임브리지는 한파가 절정이었다.미세먼지 하나 없는 깨끗한 공기를 즐기기엔 항구도시의 칼바람이 너무도 매서웠다.두터운 외투로 꽁꽁 싸매고 걸음을 재촉해 메인스트리트에 있는 MIT-IBM 왓슨 인공지능 연구소(MIT-IBM Watson AI Lab) 건물로 들어갔다. 30일~31일 연구소에서 개최한 ...
오늘은 컴퓨터가 탄생하는 데 수학이 어떤 역할을 했는지 알아볼 거예요. 영국의 수학자이자 현대 컴퓨터의 창시자인 앨런 튜링은 일종의 판정 문제인 ‘정지 문제’를 ‘튜링 기계’를 이용해 풀 수 없다는 사실을 증명했는데요. 어떤 증명 과정을 거쳤는지 살펴봅시다. ♥ 정지 문제가 가능하다 ...
『그래도 다 참고 이해해 보려고 했어. 그런데 딱 그때 그 영감탱이가 하는 말이…!』홀로그램 형태인 주 여사의 목소리가 높아졌다.“그만.”『응, 또 봐.』홀로그램이 꺼지며 주 여사의 모습이 사라지자 민연애는 검지로 관자놀이를 눌렀다.“저놈의 할망구는 죽어서도 할아범 욕밖에 할 말이 ...
지금까지 논리주의 프로그램, 수학 체계의 무모순성, 그리고 증명 불가능한 문장 등 괴델의 불완전성 정리를 이해하기 위한 다양한 이야기를 했어요. 어떤 독자는 이런 이야기가 무슨 의미가 있는지 궁금할 텐데 앞서 설명한 괴델의 불완전성 정리는 21세기의 가장 놀라운 발명품인 ‘컴퓨터ʼ가 탄 ...
올해 상반기 무인 탐사선 아르테미스 1호가 달로 떠난다. 미국항공우주국(NASA)은 4~5월 중 아르테미스 1호를 미국 플로리다주 케네디 우주센터 발사단지 39B(LC-39B)에서 발사할 계획이라고 2월 2일 밝혔다. 아르테미스 프로그램은 미국 주도 국제 프로젝트로 총 두 단계의 임무로 구성돼 있다. 2025년까지 ...
11월 19일 지구가 달을 가린다!다가오는 11월 19일 저녁 6시. 동쪽 하늘을 관찰해 보세요. 지구의 그림자에 달의 일부가 가려지는 부분월식을 관측할 수 있습니다. 월식은 태양, 지구, 달 순으로 배열될 때 나타나는 현상이에요. 지구의 그림자가 달의 일부를 가리면 부분월식, 달 전체를 가리면 개기월 ...