RSS Parrot

[6월의 퍼즐] 개미의 퇴근길

https://horizon.kias.re.kr/33465/

Published: June 5, 2026 01:48

매월 응모자 중 한 분을 선정하여 문화상품권을 드립니다. 6월 27일까지 댓글로 참여하실 수 있으며, 7월 초에 해설과 함께 정답자가 공개됩니다. (이름과 이메일을 남겨주시면 채택시 연락을 드립니다. 퍼즐 참여 시 개인정보 제공에 동의하신 것으로 간주합니다.)   먹이를 찾아 집에서 멀리까지 나온 개미가 꿀을 발견했다. 개미는 꿀을 발견해 행복의 춤을 추다가 그만 방향감각을 잃고 말았다. 꿀과 집…

[5월의 퍼즐 해설] HORIZON 창고 정리 로봇

https://horizon.kias.re.kr/33474/

Published: June 5, 2026 01:46

5월 퍼즐에 참여해주신 분들께 모두 감사드리며, 참여해주신 분들 중 정답과 함께 좋은 풀이를 보내주신 이준* 님에게 문화상품권을 전달하겠습니다. 5월의 퍼즐 문제   가장 간단하게 생각할 수 있는 방법은 물건을 중간에 내려놓지 않고 하나씩 옮기는 것이다. 이동 거리는 114이다. 옮기는 도중에 물건을 내려놓을 수 있음을 이용하면, 다음과 같이 원을 중앙에 내려놓고 사각형과 삼각형을 옮긴 뒤 원을…

The History of Neuroscience

https://horizon.kias.re.kr/33442/

Published: May 27, 2026 04:36

“Selected Articles in English” Selected articles originally published in Korean are now translated into English, making them accessible to the readers worldwide.   Prologue: The Journey Inward, Deciphering the Final Frontier For thousands of years, humans…

공간의 덮개

https://horizon.kias.re.kr/33430/

Published: May 26, 2026 01:11

작년 가을의 어느 날, 미국 시카고에 출장이 잡혀서 이른 아침에 일어나 공항버스를 타러 나왔다. 하필 출장 전 날 갑자기 날씨가 추워져서 영하 9도의 날씨에 손을 비비며 버스를 기다린다. 시카고도 혹독한 겨울 하면 빠질 수 없는 곳인데 도착하면 현지 날씨는 영하 14도라고 한다. 날씨가 이렇게 춥지 않다면 가벼운 짐가방만 챙겨서 휘리릭 다녀올 텐데, 이렇게 추울 때…

해마의 맥락에서 바라본 뇌과학적 기억 탐구

https://horizon.kias.re.kr/33421/

Published: May 19, 2026 05:22

해마 속 인지 지도cognitive map 뇌과학 혹은 신경과학이 아직 뇌에서 벌어지는 학습과 기억의 기전을 설명할 이론과 방법론을 갖추지 못했던 20세기 초에 이를 실험적으로 연구한 사람들은 대부분 심리학자들이었다. 특히 일반인들에게도 개를 대상으로 침을 흘리는 학습을 구현한 실험으로 잘 알려진 이반 파블로프Ivan Pavlov의 조건형성conditioning 학습에 대한 실험이 1897년에 발표되면서 학습을 연구하는 심리학자들은 뚜렷한 외부자극이…

빅뱅에서 인간까지 [16]: 에너지로 보는 빅 히스토리 2부

https://horizon.kias.re.kr/33401/

Published: May 14, 2026 04:49

에너지와 그 흐름의 기원 : 우주와 에너지의 기원 현재의 우주론은 일반 상대성(중력, 시공간 이론)과 양자 장론(물질 이론)을 기반으로 하는데, 이에 따르면 우주를 구성하는 시공간과 물질, 그리고 그 모태인 에너지(엄밀하게는 에너지밀도)는 우주의 시작부터 (초기조건으로서) 존재해야 한다. 하지만 이런 시작 상태를 포함해서 우주의 기원 자체를 논할 수 있는 정립된 이론이 아직 없다. 물질뿐만 아니라 시공간(중력)에도 양자역학의 원리를…

[5월의 퍼즐] HORIZON 창고 정리 로봇

https://horizon.kias.re.kr/33375/

Published: May 8, 2026 02:19

매월 응모자 중 한 분을 선정하여 문화상품권을 드립니다. 5월 29일까지 댓글로 참여하실 수 있으며, 5월 초에 해설과 함께 정답자가 공개됩니다.  (이름과 이메일을 남겨주시면 채택시 연락을 드립니다. 퍼즐 참여 시 개인정보 제공에 동의하신 것으로 간주합니다.)   동규는 창고 정리 로봇이다. 동규의 역할은 창고에 정리해야 할 물건이 들어오면 각각을 정해진 위치로 옮기는 것이다. 동규가 할 수 있는 행동은 다음과 같다.…

[4월의 퍼즐 해설] 사파이어 왕관을 훔쳐라!

https://horizon.kias.re.kr/33377/

Published: May 8, 2026 02:03

4월 퍼즐에 참여해주신 분들께 모두 감사드리며, 참여해주신 분들 중 정답과 함께 좋은 풀이를 보내주신 이영* 님에게 문화상품권을 전달하겠습니다. 4월의 퍼즐 문제   먼저 “루비 왕관은 빨강 상자에 있다.” 와 “1 더하기 1이 2라면, 루비 왕관은 빨강 상자에 있다.” 는 완전히 같은 명제라는 사실을 짚고 넘어가자. 따라서 빈 쪽지는 “1 더하기 1이 2라면” 이라고 적힌 쪽지로 치환할…

수학, 인공지능, 그리고 형식화 [1]: 수학을 위한 인공지능

https://horizon.kias.re.kr/33345/

Published: April 29, 2026 04:13

요즘에는 어디를 가도 모두가 인공지능AI 이야기를 하고 있습니다. 저는 주로 카페에서 일하는 편인데, 주변을 둘러보면 ChatGPT로 과제를 해결하거나, Claude와 Codex의 도움을 받아 코드를 작성하는 학생들을 어렵지 않게 볼 수 있습니다. 더 나아가서, 인공지능은 의료 진단이나 기후 모델링, 신약 개발 등 사회 전반에 걸쳐서 실질적인 변화를 만들어내고 있고, 단순한 기술의 발전이 아닌 실제로 인류가 풀어야 하는 어려운…

수학, 인공지능, 그리고 형식화 [2]: 증명의 형식화와 인공지능

https://horizon.kias.re.kr/33348/

Published: April 27, 2026 04:40

앞에서 우리는 인공지능을 어떻게 수학 연구에 활용할 수 있는지에 대해서 알아보았습니다. 이번 편에서는 최근에 떠오르고 있는 증명의 형식화(formalization)에 대해서 알아보고, AI, 특히 LLM을 활용한 수학 연구에서의 형식화의 역할과 형식화에 있어서의 AI의 역할과 주의할 점에 대해서 알아보면서 이 시리즈를 마치고자 합니다. AI가 증명을 했다고 주장하는데, 확실한가요? 앞서 언급했듯이 ChatGPT Pro나 Gemini Deep Think 등…