리만 가설이 발표된 이후 160년 넘게 많은 수학자가 바통을 이어가며 증명에 도전했다. 오랜 노력 끝에 2012년 영점의 41.28% 이상이 일직선 위에 있다는 것이 밝혀졌다. 그런데도 아직 명확히 해결하지 못했다. 사실 리만 가설은 참일 수도 있고, 거짓일 수도 있다. 초창기에는 거짓이라고 주장한 수 ...
뉴스에서도 챗GPT, 유튜브에서도 챗GPT, 챗GPT가 연일 화제입니다. 챗GPT에 관한 여러 가지 소문이 많지만, 챗GPT의 원리는 무엇인지, 유료 버전과 무료 버전은 어떻게 다른지 등에 대한 궁금증을 정확히 해결하기는 쉽지 않습니다. 챗GPT에 관한 확실한 정보, 9문 9답을 통해 확인하세요! Q. 챗GPT가 뭔 ...
오늘날 기계와 의사소통하는 방법은 퍽 쉽다.“노래를 틀어달라”고 말하면 인공지능이 통역해준다.프로그래밍 언어를 배우면 컴퓨터에 ‘편지’를 쓸 수도 있다. 그런데 편지를 채울 글과 규칙이 개발되기 전에는 컴퓨터의 언어인 0과 1을 읽고 쓸 수 있어야 했다. 두 개의 신호는 전선을 바느 ...
OpenAI가 2023년 GPT-4를 출시할거란 예측과 함께 GPT 시리즈가 이번에도 인공지능(AI)의 판도를 바꿀지에 대한 관심이 높아지고 있다. OpenAI는 일론 머스크와 샘 알트만이 공동 설립한 인공지능 연구소로 2020년 5월 ‘현존하는 최고의 자연어처리 AI’라고 평가받는 GPT-3를 개발했다. GPT 시리즈는 과거 하나 ...
‘전설의 전투용병 ‘정이’의 뇌를 복제하라!’1월 20일 넷플릭스에 공개된 ‘정이’는 뇌 복제라는 신선한 소재를 다룹니다. 영화 속 군수업체 크로노이드가 정이의 뇌를 복제해 인공지능(AI) 전투용병을 개발하죠. 그야말로 영화 같은 설정이지만, 의외로 현실에서 개발 중인 다양한 과학기술이 ...
아주 한참을 기다린다모든 굴레를 벗어나내가 된 세상내 마음과 가장 깊은 곳에서나를 열어주는 수 있는그 삶 속으로더 낮은 곳으로 가라앉는다 위 시는 인간의 지능과 ‘인간이 만든 지능’이 함께 썼다. 포스텍 인공지능(AI) 연구원에서 개발한 시 쓰는 AI ‘Seq2Seq’ 모델 이야기다. Seq2Seq 모델은 ...
오늘은 컴퓨터가 탄생하는 데 수학이 어떤 역할을 했는지 알아볼 거예요. 영국의 수학자이자 현대 컴퓨터의 창시자인 앨런 튜링은 일종의 판정 문제인 ‘정지 문제’를 ‘튜링 기계’를 이용해 풀 수 없다는 사실을 증명했는데요. 어떤 증명 과정을 거쳤는지 살펴봅시다. ♥ 정지 문제가 가능하다 ...
지금까지 논리주의 프로그램, 수학 체계의 무모순성, 그리고 증명 불가능한 문장 등 괴델의 불완전성 정리를 이해하기 위한 다양한 이야기를 했어요. 어떤 독자는 이런 이야기가 무슨 의미가 있는지 궁금할 텐데 앞서 설명한 괴델의 불완전성 정리는 21세기의 가장 놀라운 발명품인 ‘컴퓨터ʼ가 탄 ...
마지막 원반을 기둥에 끼우자 바닥이 마구 흔들렸어요. 지진이라도 일어난 것처럼요. 갑자기 벽이 두 쪽으로 갈라지더니 빛이 눈부시게 쏟아졌어요. 간신히 눈을 떠보니 퍼즐 조각같이 작은 디지털 화면으로 가득 채워진 방이 나타났어요. 그리고 거기에는…,“퍼즐러 박사님?!” 직소퍼즐로 블랙 ...
‘인공지능(AI) 교과서’를 들어본 적이 있나요? 지난해 11월 교육부는 2025년부터 적용할 ‘2022년 개정 교육과정’에서 인공지능 교육을 정식 도입할 계획이라고 밝혔습니다. 학교에서 교과서로 인공지능을 배우는 날이 오는 거죠. 앞으로 우리가 만날 인공지능 교과서를 미리 살펴볼까요? 정규 교 ...