리만 가설이 발표된 이후 160년 넘게 많은 수학자가 바통을 이어가며 증명에 도전했다. 오랜 노력 끝에 2012년 영점의 41.28% 이상이 일직선 위에 있다는 것이 밝혀졌다. 그런데도 아직 명확히 해결하지 못했다. 사실 리만 가설은 참일 수도 있고, 거짓일 수도 있다. 초창기에는 거짓이라고 주장한 수 ...
치타는 잘은 점박이 무늬이고, 호랑이는 길쭉한 줄무늬다. 얼룩소는 점박이긴 하지만 치타와는 다른 큰 점박이 무늬다. 이처럼 동물마다 무늬가 다른 이유는 무엇일까? 1952년 영국 수학자 앨런 튜링은 동물무늬 패턴이 근본적으로 다르지 않다고 보고 연구한 결과를 발표했다. 즉 동물무늬 패턴을 ...
알버트 아인슈타인, 쿠르트 괴델, 앨런 튜링, 존 내시, 테렌스 타오. 아마 한 번쯤은 들어봤을 수학자와 과학자인데요. 출신도, 나이대도 제각각이지만, 이들을 이어주는 공통점이 있습니다. 바로 미국 뉴저지주 프린스턴에 머물렀다는 겁니다. 프린스턴은 뉴욕시에서 차로 1시간가량 떨어진 인 ...
역사, 정치, 경제, 글쓰기, 여행까지 소위 말하는 ‘문과’ 영역을 섭렵한 지식인이 처음으로 과학을 소재로 책을 냈다. 과학 에세이 ‘문과 남자의 과학 공부’를 출간하며 오랫동안 간직해온 과학에 대한 애정을 드러낸 유시민 작가를 7월 4일 서울 북촌의 과학책방 갈다에서 만났다. Q. 오랫동 ...
뉴스에서도 챗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) 전투용병을 개발하죠. 그야말로 영화 같은 설정이지만, 의외로 현실에서 개발 중인 다양한 과학기술이 ...
오늘은 컴퓨터가 탄생하는 데 수학이 어떤 역할을 했는지 알아볼 거예요. 영국의 수학자이자 현대 컴퓨터의 창시자인 앨런 튜링은 일종의 판정 문제인 ‘정지 문제’를 ‘튜링 기계’를 이용해 풀 수 없다는 사실을 증명했는데요. 어떤 증명 과정을 거쳤는지 살펴봅시다. ♥ 정지 문제가 가능하다 ...
지금까지 논리주의 프로그램, 수학 체계의 무모순성, 그리고 증명 불가능한 문장 등 괴델의 불완전성 정리를 이해하기 위한 다양한 이야기를 했어요. 어떤 독자는 이런 이야기가 무슨 의미가 있는지 궁금할 텐데 앞서 설명한 괴델의 불완전성 정리는 21세기의 가장 놀라운 발명품인 ‘컴퓨터ʼ가 탄 ...