D라이브러리

OpenAI가 2023년 GPT-4를 출시할거란 예측과 함께 GPT 시리즈가 이번에도 인공지능(AI)의 판도를 바꿀지에 대한 관심이 높아지고 있다. OpenAI는 일론 머스크와 샘 알트만이 공동 설립한 인공지능 연구소로 2020년 5월 ‘현존하는 최고의 자연어처리 AI’라고 평가받는 GPT-3를 개발했다. GPT 시리즈는 과거 하나 ...

‘전설의 전투용병 ‘정이’의 뇌를 복제하라!’1월 20일 넷플릭스에 공개된 ‘정이’는 뇌 복제라는 신선한 소재를 다룹니다. 영화 속 군수업체 크로노이드가 정이의 뇌를 복제해 인공지능(AI) 전투용병을 개발하죠. 그야말로 영화 같은 설정이지만, 의외로 현실에서 개발 중인 다양한 과학기술이 ...

오늘은 컴퓨터가 탄생하는 데 수학이 어떤 역할을 했는지 알아볼 거예요. 영국의 수학자이자 현대 컴퓨터의 창시자인 앨런 튜링은 일종의 판정 문제인 ‘정지 문제’를 ‘튜링 기계’를 이용해 풀 수 없다는 사실을 증명했는데요. 어떤 증명 과정을 거쳤는지 살펴봅시다. ♥ 정지 문제가 가능하다 ...

지금까지 논리주의 프로그램, 수학 체계의 무모순성, 그리고 증명 불가능한 문장 등 괴델의 불완전성 정리를 이해하기 위한 다양한 이야기를 했어요. 어떤 독자는 이런 이야기가 무슨 의미가 있는지 궁금할 텐데 앞서 설명한 괴델의 불완전성 정리는 21세기의 가장 놀라운 발명품인 ‘컴퓨터ʼ가 탄 ...

1931년 오스트리아 출신 미국 수학자 쿠르트 괴델이 발표한 ‘불완전성 정리’는 모순 없는 공리계를 만들고자 노력한 수학자들의 희망을 앗아가 버렸습니다. 그 이유가 무엇인지 알아봅시다.  ♥ 증명할 수 없는 문장 괴델의 불완전성 정리는 제1정리와 제2정리로 구성돼 있습니다. 두 정리 중 특 ...

마지막 원반을 기둥에 끼우자 바닥이 마구 흔들렸어요. 지진이라도 일어난 것처럼요. 갑자기 벽이 두 쪽으로 갈라지더니 빛이 눈부시게 쏟아졌어요. 간신히 눈을 떠보니 퍼즐 조각같이 작은 디지털 화면으로 가득 채워진 방이 나타났어요. 그리고 거기에는…,“퍼즐러 박사님?!” 직소퍼즐로 블랙 ...

 호랑이나 얼룩말의 줄무늬같은 다양한 패턴은 세포 속 생물학적 요소가 수학적 규칙에 따라 상호작용하면서 만들어집니다. 영국 수학자 앨런 튜링은 1952년에 이 과정을 화학물질의 ‘반응-확산 모형’에 따른 튜링 패턴으로 설명했습니다. 튜링 패턴은 ㎛(마이크로미터·1㎛는 100만 분의 1m) 단위 ...

‘인공지능(AI) 교과서’를 들어본 적이 있나요? 지난해 11월 교육부는 2025년부터 적용할 ‘2022년 개정 교육과정’에서 인공지능 교육을 정식 도입할 계획이라고 밝혔습니다. 학교에서 교과서로 인공지능을 배우는 날이 오는 거죠. 앞으로 우리가 만날 인공지능 교과서를 미리 살펴볼까요? 정규 교 ...