그러다가 18세기, 독일의 천문학자 윌리엄 허셜이 당시 최신 기술이 집약된 기계 ‘현미경’으로 산호를 관찰해 산호가 식물이 아닌 동물이란 사실을 밝혔습니다. 허셜이 살아가던 18세기에도, 그리고 오늘날에도 과학의 발전 덕에 인간이 보고 겪는 세계가 점차 넓어지고 있습니다. 산호가 사실은 ...
것이 말이 안 된다고 생각한 것이다. 이에 대해 뉴턴은 우주가 자동으로 움직이는 기계는 아닐 것이란 주장을 펼쳤다. 뉴턴은 오히려 신실한 기독교 신자로서 창조주가 어디에서나 어느 순간에나 온 우주의 평안을 위해 개입한다고 생각했다. “신은 영원하고 무한하며 전지전능하시니,(중략) 그는 ...
이 작업에 금세 흥미를 붙였다.“선, 우리 꼭 옛날 사람이 된 것 같지 않아? 이런 고전 기계를 다 써보다니.”“그러게. 이거 조작 방식 자체는 어렵지 않은데, 손이 잘 안 따라줘.”“나도 그래. 옛날에는 이런 자판을 보지도 않고 글자를 치는 사람들도 있었대. 정말 신기하지? 너 손에 쥐 안 나게 ...
문제를 대수 문제로 변환해 증명 알고리즘으로, 다양한 문제에 적용이 어렵다. 그 외에 기계 학습을 사용한 수학증명 시도들은 거의 제대로 작동하지 못했다. 복잡한 인간의 풀이 데이터를 다시 컴퓨터가 이해할 언어로 변환하는데 큰 노력을 해야하므로 AI가 충분히 똑똑해질 만큼의 충분한 ...
개량형 비행기인 토네이도 시리즈나 드릴이 달린 멋진 잠수함, 게다가 로켓까지기계 장비를 만들 때면 Dr.에그맨을 앞지를 정도의 천재성을 발휘하기도 해요. 호쾌하고 파워풀한 가시두더지, 너클즈너클즈는 소닉처럼 빠르진 않지만, 강력한 주먹을 가지고 있어요! 소닉이라면 꿈쩍도 하지 않을 ...
됐다. 최근 슈리아 스리니바산 미국 하버드대 생명공학과 교수와 조반니 트라베르소 MIT 기계공학과 교수 등 공동연구팀이 한 알만 먹어도 음식 섭취량을 40%나 줄일 수 있는 알약을 개발했기 때문이다. 해당 연구는 2023년 12월 22일 ‘사이언스 어드밴시스’에 소개됐다. doi: 10.1126/sciadv.adj3003 비만은 ...
건 5년 안에는 안된다는 겁니다. 작년에 혹시 넘어진 적 있으세요?” 박해원 KAIST 기계공학과 교수의 질문에 기자는 고개를 저었다. 생각해보면 2023년 내내 한 번도 넘어진 적이 없었다. 박 교수는 “그 숫자가 얼마건 휴머노이드 로봇은 더 자주 넘어질 것”이라며 “안정성이 떨어져 자주 넘어지면 ...
계산’을 할 수 있는 이유는? 바로 물건마다 바코드가 있기 때문이에요. 바코드를 읽는 기계는 바코드의 흰색 부분을 0, 검은색 부분을 1로 읽어요. 0과 1로만 이뤄진 수로 바꿔 읽은 다음, 그 수에 맞는 물건이 무엇인지 알아내지요. 물건을 들고 나오면 자동으로 결제되는 가게도 있어요. ...
하지만 이는 웬만한 수학자도 풀기 어려운 작업이다. 그래서 튜링은 영점을 계산하는 기계를 만들었다. 그 결과 1104개의 영점을 구했다. 이후 컴퓨터를 이용해 영점을 구하기 시작했다. 현재는 슈퍼컴퓨터로 10조 개 이상의 영점이 일직선 위에 있다는 사실을 밝혔다. 그러나 이런 방식으로는 리만 ...
4족보행 로봇을 만나러 눈길을 헤치며 도착한 곳은 다름 아닌 대전 KAIST였다. 박해원 KAIST 기계공학과 교수팀이 개발한 4족보행 로봇 ‘하운드’가 ‘100m를 가장 빠른 속도로 주파한 4족보행 로봇’이란 기네스 세계 기록을 남겼다는 소식이 전해졌기 때문이었다. 100m를 19.87초 만에 주파한 하운드의 ...