Home About Horizon

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

앞에서 우리는 인공지능을 어떻게 수학 연구에 활용할 수 있는지에 대해서 알아보았습니다. 이번 편에서는 최근에 떠오르고 있는 증명의 형식화formalization에 대해서 알아보고, AI, 특히 LLM을 활용한 수학 연구에서의 형식화의 역할과 형식화에 있어서의 AI의 역할과…

빅뱅에서 인간까지 [17]: 정보로 보는 빅 히스토리 1부

빅 히스토리의 거대한 흐름을 이해하는 데 에너지의 관점은 필수적이다. 그러나 복잡성의 진화를 설명하려면 그것만으로는 충분하지 않다. 왜 어떤 구조는 잠시 나타났다가 사라지지만, 어떤 구조는 자신을 유지하며 더 복잡한 형태로 발전하는가? 왜 생명과…

[7월의 퍼즐] 보석 세트 진열

  매월 응모자 중 한 분을 선정하여 문화상품권을 드립니다. 7월 26일까지 댓글로 참여하실 수 있으며, 8월 초에 해설과 함께 정답자가 공개됩니다. (이름과 이메일을 남겨주시면 채택시 연락을 드립니다. 퍼즐 참여 시 개인정보 제공에…

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

  6월 퍼즐에 참여해주신 분들께 모두 감사드리며, 참여해주신 분들 중 정답과 함께 좋은 풀이를 보내주신 김현* 님에게 문화상품권을 전달하겠습니다. 6월의 퍼즐 문제       이 문제는 시작점이 아니라 도착점 근처부터 보면 풀기…

인공지능은 감정을 가질 수 있을까? [1]: 감정을 느끼는 AI를 묻기 전에, 누구의 목표인가?

“목표 달성에는 능숙한 AI, 그런데 누구의 목표인가?” 오늘날 인공지능AI의 성취는 실로 놀랍다. AI는 데이터에서 사람보다 더 정확하게 숨겨진 패턴을 찾아내고, 그에 근거해 미래를 예측하며, 여러 게임과 다양한 테스트에서 인간 최고 수준의 성능을…

욕구, 동기, 그리고 공격성의 심리학: 충동인가, 전략인가

들어가며: 로드 레이지road rage 출근길, 바쁜 마음으로 서둘러 길을 나서는데 오늘따라 신호에 자주 걸린다. 마음은 더욱 바빠지는데 갑자기 옆 차선에서 방향지시등도 없이 차가 끼어든다. 급브레이크를 밟았고, 들고 있던 커피가 쏟아졌다. 이때 사람들의…

아벨상 수상자 게르트 팔팅스: 디오판토스 난제에서 \(p\)진 기하까지

수학의 노벨상은 무엇일까요? 노벨상에 수학 부문이 없다는 사실은 대중에게도 제법 잘 알려져 있습니다. 그렇다면 수학계에서 그 왕관을 차지하고 있는 상은 무엇일까요? 역사와 권위를 놓고 본다면 단연 필즈상Fields Medal이 그 자리에 가장 가까워…

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

매월 응모자 중 한 분을 선정하여 문화상품권을 드립니다. 6월 27일까지 댓글로 참여하실 수 있으며, 7월 초에 해설과 함께 정답자가 공개됩니다. (이름과 이메일을 남겨주시면 채택시 연락을 드립니다. 퍼즐 참여 시 개인정보 제공에 동의하신…

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

5월 퍼즐에 참여해주신 분들께 모두 감사드리며, 참여해주신 분들 중 정답과 함께 좋은 풀이를 보내주신 이준* 님에게 문화상품권을 전달하겠습니다. 5월의 퍼즐 문제   가장 간단하게 생각할 수 있는 방법은 물건을 중간에 내려놓지 않고…

The History of Neuroscience

“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…

공간의 덮개

작년 가을의 어느 날, 미국 시카고에 출장이 잡혀서 이른 아침에 일어나 공항버스를 타러 나왔다. 하필 출장 전 날 갑자기 날씨가 추워져서 영하 9도의 날씨에 손을 비비며 버스를 기다린다. 시카고도 혹독한 겨울 하면…

×
Search

Popular Searches