월 5일, 녹색정의당은 제22대 국회의원선거를 앞두고 ‘1호 인재’로 조천호 박사를 영입했다. 조 박사는 국립기상과학원 원장직을 퇴임한 후 방송과 강연, 책 집필 등을 통해 기후위기의 심각성을 강조하고 탄소중립의 필요성을 얘기해왔다. 그가 총선 비례대표 후보로 변신한 이유는 무엇이었을까. ...
어떤 프로젝트인가오늘날 과학기술계에 필요한 정치는 ‘무엇이 문제’인지 찾고 정의하는 게 아닌 ‘어떻게 문제를 해결’할 것인지를 고민하는 것입니다. 저는 2022년 8월에 구글에서 퇴사한 뒤 한국 스타트업의 최고제품책임자(CPO)로 일했어요. 당시 여러 규제 때문에 어려움이 많았습니다. ...
5억 년의 별에 주목했다. 즉 지적 생명체가 탄생할 조건을 드레이크 방정식보다 명확하게 정의한 것이다. 그 결과, 통신 기술을 지닌 외계 문명이 최소 36개라는 수치가 나왔다. 수학이라는 도구는 마치 마법사의 수정 구슬처럼 원하는 것을 보여준다. 수학을 이용하면 우리의 삶에 밀접한 것부터 ...
증명할 수 있지요. 수렴도 마찬가지입니다. 사실 수학뿐만이 아니에요. 축구에서 골인의 정의를 수학적으로 생각해 볼게요. ‘아주 얇은 종이가 존재해서 그 종이를 좌우 골대 안에 있는 끝 선(end line)에 수직으로 세워서 공이 그 종이를 넘어가면 골인’이라고 할 수 있어요. 실제 축구 경기에선 ...
거리로 구하는 것이 정확하지 않기 때문이다. 롤에서도 거리를 맨해튼 거리로 정의하는지는 알 수 없다. 그러니 여기서는 맨해튼 거리와 유클리드 거리를 모두 구해서 알아보고, 게임을 하며 어느 거리로 측정한 것이 더 맞는지 생각해보자 ...
정의하자는 의견도 있다. 2021년 제9회 빅콘테스트에서는 한국형 배럴 타구 기준을 재정의하는 문제가 주어졌다. 빅콘테스트는 기업이 보유한 데이터를 활용해 주어진 문제를 해결하는 공모전인데, 미세먼지, 항공 운항, 게임 등 다양한 주제의 문제가 출제된다. 이 대회에서 대상을 받은 ‘떨공삼’ ...
어떤 체계 안에 있는 많은 구조에 보편타당하게 적용할 수 있는 원리를 찾는 과정의 시작은 관찰입니다. 다만, 수학에서는 엄밀하고 정확하게 원리를 표현하고 증명해야 합니다. 진위를 분명히 판단할 수 있는 명제만을 다루는 것도 수학만의 다른 점입니다. 예를 들어 ‘오늘 날씨가 추운지 ...
이 일련의 과정은 스스로 생각하는 능력을 키우고 발휘한다는 면에서 경영문제 해결과 정의의 증명 간의 유사성을 보여줍니다. 대학교 때 수학을 전공하며 다양한 정리의 ‘증명법’을 익히는 데 적지 않은 시간을 들였습니다. 이런 과정을 4년 내내 반복한 것이 논리적비판적으로 사고하는 ...
위해선 알고 있는 것, 증명하고 싶은 것, 수학 개념 등을 먼저 정확하게 표현해야 해요. ‘정의’, ‘정리’, ‘문제’ 등의 형태로 나를 비롯해 모두가 이해할 수 있도록 표현해야 하죠. 현대 사회에서는 서로의 경험과 생각이 달라 같은 사실을 보고도 다르게 표현하는 경우가 상당히 많아요. ...
분류되죠.” 김창현 한국기계연구원 인공지능기계연구실 책임연구원은 AI 로봇에 대한 정의는 다양하다고 설명했다. 2024 로봇 트렌드의 중심에 있는 것은 좁은 의미의 AI 로봇, 그러니까 AI를 활용해 스스로 추론하고 움직이는 로봇이다.스스로 움직이고 자율적인 훈련까지 가능 AI 로봇에서도 가장 ...