원천기술 확보 시도한다? '한국판 DARPA' 띄운 정부
일각선 비판 의견도, "R&D 예산 삭감 반발 메꾸려는 심산 아니냐"
주사위는 던져졌다, 한계도전 R&D 프로젝트 진행 상황 지켜봐야 할 듯

정부가 실패 가능성은 높지만 성공하면 사회·경제적 파급효과가 매우 큰 '고위험-고수익형' R&D(연구개발)를 본격 추진한다. 파괴적 혁신을 일으킬 만한 원천기술을 확보해 나가겠단 취지지만, 국내의 좁은 인재풀 문제를 해결하지 못한 상황에서 전임 정부와 비슷한 정책을 내놨단 점에서 비판의 목소리가 적지 않다. 일각에선 사실상 R&D 예산 삭감에 따른 반발을 줄이기 위해 시선 돌리기용 정책을 내놓은 것 아니냐는 의견까지 나온다.

과기정통부, '한계도전 R&D 프로젝트' 본격 시행

과학기술정보통신부는 혁신·도전형 R&D 추진을 위해 올해 초부터 기획해 온 '한계도전 R&D 프로젝트'를 새해 본격 착수한다고 지난달 28일 밝혔다. GPS·인터넷·자율주행차 등의 성과를 끌어낸 미국의 DARPA(국방부 산하 방위고등연구계획국)를 비롯해 이를 벤치마킹한 일본의 '임팩트(Impact) 프로젝트', 영국의 ARIA(BEIS 산하 고등연구발명국)와 독일의 SPRIN-D(파괴적혁신 목적 공공기관) 등 세계 주요국은 혁신·도전형 연구개발 지원 시스템을 도입하고 있다.

이에 우리 정부도 국내 R&D 시스템이 극복해야 할 문제인 위험 회피, 관료주의 및 느린 의사결정, 단기 성과 위주의 평가, 실패에 대한 관용 부족 등을 개편하는 것을 주요 목표로 한계도전 R&D 프로젝트를 추진하고 나섰다. 본격적으로 연구가 착수되더라도 연구개발의 목표나 내용이 고착화되지 않고 책임PM(프로젝트매니저)의 주도적 관리하에 연구방향 전환도 유연하게 이뤄질 수 있도록 대책을 마련하겠단 계획이다.

정부는 우선 내년 바이오, 기후·에너지, 재난대응 등 3개 기술 분야의 책임PM이 선정한 연구테마 공고에 이어 과학기술적 해결을 모색하는 의견 수렴, 기술제안토론회를 순차적으로 개최할 예정이다. 또 1분기 중에는 현장의 의견이 반영된 과제제안요청서 공고를 통해 사업을 본격 착수한다. 아울러 정부는 도전적 연구 목표를 가진 프로그램의 확대, 창출된 성과의 확산 등 한계도전 R&D의 장기적인 지원체계 마련을 위해 예비타당성조사를 통한 사업 확대도 추진해 나갈 방침이다. 이와 관련해 노경원 과기정통부 연구개발정책실장은 "한계도전 R&D는 우리나라 연구현장이 실패를 두려워하지 않으며 유연하고 선진적으로 개편되도록 하는 R&D 혁신의 출발점"이라며 "책임PM, 참여 연구자가 변혁적 원천기술을 확보해 혁신의 핵심주체로 성장할 수 있도록 정책적·제도적 지원을 아끼지 않겠다"고 전했다.

"한계도전 R&D, '특공대' 역할 해줄 것"

한계도전 R&D 1호 프로젝트는 물에 잠긴 상태에서도 엔진처럼 큰 힘을 낼 수 있는 기술을 개발하는 사업이다. 크레인이나 굴착기 같은 대형 기계장치는 침수 우려 때문에 침수 현장에서는 무용지물이다. 공압이나 유압 시스템을 사용할 수 있지만, 무게가 무겁고 작동 전압도 낮아서 수중에서는 쓸 수가 없다. 소프트 액추에이터 기술이 수중에서 작동할 수 있지만 발생시키는 힘이 현저히 낮아서 재난 상황에서는 별 도움이 안 된다. 1호 프로젝트가 성공할 경우 침수된 건물 지하나 지하도에 크레인이나 굴착기 같은 장치를 바로 투입할 수 있어 침수 피해에 따른 인명 피해를 줄이는 데 큰 도움이 될 수 있을 것으로 기대된다.

2호 프로젝트와 3호 프로젝트는 각각 ‘식물에서 배우는 그리너지’와 ‘기억의 미스터리를 푸는 열쇠’가 선정됐다. 2호 프로젝트를 통해선 화석에너지에서 배출되는 배기가스로 수소를 이송할 수 있는 시스템 구축이 가능할 것으로 전망된다. 3호 프로젝트는 뇌 기억 분야의 국내 연구 수준을 끌어올리는 게 주요 목표다. 이 같은 한계도전 R&D 프로젝트에 대해 이종호 과기정통부 장관은 “대형 예타사업을 중심으로 한 기존의 연구개발이 큰 항공모함이라고 한다면 국가적 난제를 신속하게 해결할 수 있도록 기민하게 움직이는 특공대와 같은 연구개발이 반드시 필요하다”며 “한계도전 R&D 프로젝트가 특공대와 같은 역할을 해줄 것으로 기대하고 있다”고 힘줘 말했다.

'한국형 DARPA' 청사진 그리는 정부, 하지만

정부가 한국판 DARPA 청사진을 본격적으로 그리기 시작함에 따라 한계도전 R&D도 더욱 탄력을 받을 것으로 보인다. 다만 전문가들 사이에선 정부의 DARPA 구상에 의구심을 드러내는 이들도 적지 않다. 애초 정부가 DARPA 청사진을 그리고 나선 게 이번이 처음은 아니기 때문이다. 실제 우리나라는 이미 지난 2021년부터 DARPA 구상을 시작한 바 있다. 당시 정부는 "부처별로 추진해 오던 R&D 사업을 보다 큰 규모 사업군으로 묶어 투자 규모를 확대할 것"이라며 "기존 플랫폼과 협력을 이뤄냄으로써 조화로운 혁신을 만들어 내겠다"고 힘줘 말했다. 과기정통부 차원에서 AI, 양자, 합성생물학, 우주 등 글로벌 패권경쟁 기술을 확보하기 위한 한계돌파형 차세대 전략기술 투자를 늘리겠다는 계획이 발표되기도 했다.

그러나 정부가 그린 장밋빛 미래는 일개 종잇조각에 불과했다. 가장 먼저 발목을 잡은 건 우리나라 특유의 보수적 행정 체제였다. 애초 DARPA의 가장 큰 강점은 실패 우려가 있더라도 파괴적 혁신을 불러일으킬 만한 도전적 연구를 장려한다는 점인데, 우리나라는 행정적 특성상 실패를 허용하지 않는 분위기가 짙다. 국내 R&D 사업 전반이 단기적 성과에 매몰돼 있는 상태에서 장기적이고도 파괴적인 성과를 지향하는 DARPA는 태동하기 쉽지가 않았다. 국내에 관련 기술력이나 안목을 갖춘 인재가 거의 전무하다는 점도 걸림돌로 작용했다. 애초 인재풀 자체가 작은 만큼 국내 기술 기반 자체가 상대적으로 약할 수밖에 없었기 때문이다.

정부가 DARPA 구상을 처음 내놓은 지 2~3년이 흘렀지만, 여전히 상황은 크게 바뀌지 않았다. 한국산업기술진흥협회의 '2023년 기업 R&D 동향조사'에 따르면 기업부설연구소가 있는 기업 700개사 중 32.1%가 작년보다 올해에 오히려 R&D 인력 운용이 어려워졌다고 답했다. R&D 연구인력이 부족하다 응답한 기업들은 전체 연구개발비에서 다른 기업이나 연구기관과의 공동협력 개발에 투자하는 비중이 높았다. 국내 R&D 인력 부족을 공동협력 R&D로 겨우 메꿔놓고 있다는 방증이다. 상황이 이렇다 보니 정부가 갑작스레 DARPA 구상을 다시 꺼내든 데 회의적 의견이 쏟아진다. 사실상 R&D 예산 삭감에 따른 반발을 잠재우기 위해 시선 돌리기식 정책을 내놓은 것 아니냐는 지적이다. 다만 일각에선 아직 지켜봐야 할 시점이라는 의견도 나온다. 비판은 이미 물망에 오른 R&D 프로젝트의 성공 여부를 확인한 뒤 해도 늦지 않단 것이다.

모자의 평면 타일링 가능성, 재귀적 계층 확장으로 설명
'메타타일'의 분해·조합으로 완전한 비주기성도 증명해
'유령' 타일마저 발견, "반사된 타일 없어도 돼"

[해외 DS] 반세기 만에 찾은 '아인슈타인 타일' ①, 아마추어 수학자의 놀라운 직관에서 이어집니다.

---

스미스는 처음부터 비주기적 모노타일을 찾으려는 구체적인 목표를 세우지는 않았지만, 이 문제의 역사와 중요성에 대해 잘 알고 있었다. 그는 타일 문제를 푸는 과정에서 비주기성의 징후를 항상 주시했었다.

스미스와 카플란 교수는 모자의 행동을 이해하려고 노력하기 시작했다. 먼저 모자의 구성 요소를 살폈다. 이 모자는 폴리폼(polyform)이라고 불리는데, 어떤 단순한 단위 요소의 조합을 일컫는다. 예를 들어 '테트리스' 게임의 모든 조각들은 네 개의 정사각형(단위 요소)을 다양하게 조합하여 만든 폴리폼들이다

모자 타일 속에 숨겨진 치환 규칙을 찾아서

스미스의 모자는 8개의 연(kite)으로 만들어졌는데, 이 연은 펜로즈의 연과는 다르다. 스미스의 연은 정육각형을 6 등분 한 연으로 조합한 폴리폼이다.

스미스는 카플란 교수가 최근에 폴리오미노(정사각형을 붙여 만든 폴리폼), 폴리헥스(정육각형), 폴리아몬드(정삼각형)의 히쉬수를 계산하는 소프트웨어를 개발한 것을 알고 있었고, 이를 폴리카이트에 적용할 수 있는지 궁금해했다. 다행히도 카플란 교수는 워털루대학의 학부생인 아바 푼(Ava Pun)의 도움으로 연에 대한 기능을 추가한 적이 있었다.

카플란 교수의 소프트웨어는 막힘없이 큰 모자 클러스터를 쉽게 생성하여 모자가 평면을 타일링한다는 스미스의 믿음을 강화했다. 그뿐만 아니라 컴퓨터로 생성된 새로운 클러스터 이미지는 스미스의 직관을 개선할 수 있는 좋은 연구 자료가 되어 줬다. 그들은 디지털 일러스트레이션으로 직접 색칠하는 등 다양한 방법으로 모자를 그룹화하며 새로운 사실을 발견했다. 반사된 모자가 드문드문 배열되어 있고, 반사되지 않은 모자가 반사된 모자를 둘러싸는 반복 패턴이 튀어나온 것이다.

모자 타일의 이러한 패턴은 병진 단위를 형성하지 않으면서도 재귀적인 계층 구조를 가진 것처럼 보였다. 즉 반복되는 조합 패턴을 규정하고 해당 조합들을 재귀적으로 결합하면, 모양은 유지하면서 스케일은 무한대로 커질 수 있게 된다. 평면 타일링이 가능한 것이다. 결국 모자가 비주기적 타일일 수 있다는 것을 암시하는 최상의 시나리오였다. 한편 재귀적 계층 구조는 치환 규칙(substitution rules)이 적용된 시스템이다. 펜로즈의 타일 집합을 포함한 많은 비주기적 타일 집합에서 치환 시스템으로 평면을 타일링하는 것을 볼 수 있는데, 연과 다트로 구성된 펜로즈의 타일이 연과 다트의 조합 속에서 규모가 더 큰 연과 다트를 발견할 수 있는 시스템이다. 이런 식으로 모양이 변하지 않으면서 점점 더 큰 클러스터를 만들어가는 시퀀스를 발견하면 무한 평면을 채워 나갈 수 있다는 것을 증명할 수 있게 된다.

카플란 교수는 스미스의 이메일을 받고 약 2주가 흐른 시점에 모자 타일의 치환 규칙을 설명할 수 있을 '시드' 구성을 발견했다. 비결은 반사된 모자는 반사되지 않은 모자와 다르게 행동할 수밖에 없기 때문에 단일 반사 모자로 직접 작업하는 것을 피하는 것이었다. 대신 반사된 모자를 세 개의 이웃 모자와 그룹화하여 분할할 수 없는 단위, 즉 자체적인 치환 규칙을 가진 타일 모양으로 취급할 수 있는 '메타타일'을 만들었다. 카플란 교수는 메타타일과 모자의 치환 규칙을 다듬어 4개의 메타타일(시드)로 구성된 치환 시스템을 정의했다.

강한 비주기성을 증명하기 위해

스미스와 카플란 교수는 메타타일과 치환 규칙으로 모자가 모노타일이라는 것을 증명했다. 그리고 치환 규칙에 따라 생성된 타일링이 비주기적(nonperiodic)이라는 것도 쉽게 알 수 있었다. 하지만 강한 비주기성(aperiodic)은 담보할 수 없는 상황이었다. 강한 비주기성은 비주기적 타일이 임의로 큰 주기적 영역을 갖지 않아야 한다는 추가 속성이 있기 때문이다. 결국 모든 모자 타일링이 반드시 비주기적이라는 것을 증명하기 위해 2023년 1월 초 스미스와 카플란 교수는 타일링 이론에 관한 중요한 논문을 다수 발표한 수학자 굿맨-슈트라우스에게 연락을 취했다. 굿맨-슈트라우스는 수학 커뮤니케이터이자 타일링 체험 활동의 기획자로도 잘 알려져 있었고 그의 소개로 소프트웨어 개발자 조셉 사무엘 마이어스도 프로젝트에 합류했다.

마이어스는 조합론으로 수학 박사 학위를 받은 후 학계를 떠났지만 타일링에 관한 관심은 계속 유지했다. 타일링에 대한 그의 이전 작업 덕분에 그는 불과 8일 만에 증명을 완료했다. 올해 1월 말에 이 모자가 세계 최초의 비주기적 모노타일임을 확인한 것이다. 그는 임의의 모자 타일이 메타타일로, 메타타일을 슈퍼타일로 그룹화하는 독특한 방법이 영원히 존재한다는 것을 증명하여 완전한 타일링으로 끝나는 치환의 무한 계층을 역설계해야 했다. 이를 위해 마이어스는 컴퓨터를 이용한 접근법을 개발했다. 모자 타일링에서 나타날 수 있는 188개의 작은 타일 클러스터를 생성하고, 각 클러스터를 고유한 방식으로 메타타일의 조각으로 나눌 수 있음을 보여줬다. 이는 어떤 모자 타일링도 메타타일로 분해할 수 있음을 의미한다. 마지막으로 그는 메타타일로 구성된 타일링에서 더 큰 메타타일처럼 동작하는 슈퍼타일로 클러스터를 확장할 수 있음을 보여줬다. 이 마지막 단계에서는 일종의 재귀가 시작되는데 슈퍼타일은 메타타일의 속성을 공유하기 때문에 동일한 그룹화 프로세스가 슈퍼타일에도 적용된다. 따라서 모자를 메타타일로 그룹화하고, 메타타일을 슈퍼타일로 그룹화하면 그 이후의 모든 계층은 수학적으로 일반화할 수 있다.

2022년 12월 스미스는 모자와 매우 유사한 특징을 가진 거북이라는 두 번째 비주기적 모노타일을 발견했다. 다른 사람들이 50년 동안 찾지 못하던 것을 스미스가 2주 만에 두 개의 모노타일을 발견하는 것이 가능한 일일까.

사실 모자와 거북이는 연속적인 다각형 계열의 두 도형이었으며, 모두 같은 방식으로 타일을 붙인 비주기적인 도형이다.

구체적으로 모자는 길이 1과 √3의 변으로 이뤄진 다각형이다. 사각형의 가로·세로 길이를 독립적으로 변경하여 여러 직사각형 계열의 도형을 생성할 수 있는 것처럼, 폴리카이트의 두 변(a와 b)을 Tile(a, b)라고 부르고 각각의 길이를 변경하면 새로운 다각형을 얻을 수 있다. 이 표기법을 사용하면 모자는 Tile(1,√3 )이 되고 거북이는 Tile(√3, 1)이 된다. 마이어스는 Tile(a, b) 형태의 거의 모든 도형이 동일한 타일을 가진 비주기적 모노타일임을 증명했다. 다만 세 가지 예외가 있었는데, Tile(0, 1)('갈매기' 타일), Tile(1, 0)('혜성' 타일), 그리고 정다각형 Tile(1,1)(별명은 얻지 못했다)이 바로 그것이다. 이 세 가지 도형은 각각 주기적 타일링과 비주기적 타일링을 모두 허용하는 보다 유연한 도형이기 때문에 비주기적 모노타일로 인정할 수 없었다.

얼마 지나지 않아 마이어스는 모자와 거북이 사이의 연결 고리를 확장하여 Tile(a,b) 연속체를 기반으로 모자의 비주기성에 대한 새로운 증명을 개발했다. 그는 모순에 의한 증명 기법을 사용하여 모자의 주기적 타일링의 존재를 가정한 다음, 그러한 타일링의 존재로부터 처음 가정(모자의 주기적 타일링)이 불가능하다는 부조리를 도출해 냈다. 그는 먼저 주기적 모자 타일링의 가장자리를 늘이고 줄이면서 갈매기와 혜성에 의한 동등한 주기적 타일링을 얻을 수 있다는 것을 발견했다. 그러나 갈매기와 혜성은 모두 서로 다른 스케일의 정삼각형 타일링 위에 세워진 폴리아몬드(정삼각형의 결합)다. 마이어스는 조합론, 기하학, 그리고 약간의 정수론이 포함된 논증을 통해 갈매기와 혜성 타일링이 동일한 것으로 추정되는 주기적 모자 타일링에서 비롯됐기 때문에 단위 요소인 삼각형 타일링이 수학적으로 불가능한 배율을 통해 서로 연관되어야 한다는 것을 증명했다. 이것은 모자가 비주기적 모노타일이라는 것을 증명하는 새로운 방법이었다. 이는 모자의 비주기성에 관한 주장을 강화할 뿐만 아니라 이 분야에서 완전히 새로운 증명 방법을 제시하여 향후 다른 타일을 분석하는 데 유용할 수 있다는 점에서 시사하는 바가 크다.

유령 타일, 반사된 타일 없이 강한 비주기성 증명해

모자를 처음 공개했을 때 사람들은 다른 어떤 것보다도 반사 타일을 사용한다는 점을 가장 많이 지적했다. 스미스와 카플란 교수가 초기에 발견한 것처럼, 모자를 이용한 모든 타일링에는 반사된 모자가 드문드문 분포되어 있어야 한다. 모노타일의 정의는 반사 도형을 합법적인 움직임으로 허용해 왔었다. 그런데도 많은 사람들은 타일을 뒤집지 않는 '한 손' 또는 '카이랄'(어떤 대상이 거울에 비춘 모양과 합동을 이루지 않을 때) 비주기적 타일링을 생성하는 도형이 존재할 수 있을까 궁금해했다.

다행히도 스미스는 놀라운 사실을 하나 더 알려줬다. 첫 번째 원고를 올린 지 일주일도 채 지나지 않아 그는 모자와 거북이를 포함하는 도형 연속체의 등변 Tile(1, 1)에 대해 이메일을 보내기 시작했다. 메일을 받은 세 명 모두 해당 다각형은 비주기적 타일이 아니라 무반사 타일과 반사 타일이 섞인 주기적 타일이라는 것을 알고 있었다. 하지만 스미스는 의도적으로 한 손으로만 뒤집는 타일로 반사를 제한하면 흥미로운 타일 군집이 만들어지는 것을 관찰했다.

네 사람은 즉시 연구를 시작했다. 그들은 Tile(1,1)의 반사되지 않은 복사본의 메타타일을 계산하고, 타일을 반복되는 클러스터로 그룹화하는 방법을 발견한 다음, 동일한 성질을 갖는 슈퍼타일을 생성하는 치환 시스템을 정리했다. 그 결과 그들은 다시 한번 비주기적 타일링을 강제하는 고유한 무한 치환 계층의 존재를 반사되지 않은(한 손) 타일에서도 발견했다. 마지막으로 Tile(1,1)의 가장자리를 임의의 곡선으로 대체하여 기존 타일과 그 반사 타일이 공존할 수 없도록 설정했다. 이를 유령(spectres) 타일이라고 부르고, 모든 임의의 유령 타일은 카이랄 비주기적 모노타일임을 밝혔다.

카플란 교수는 "항상 아인슈타인 문제에 매료됐지만 직접 연구한 적은 없었고, 2022년 11월에 해답을 받은 후에야 시작했습니다. 모자는 스미스의 손에서 어느 정도 구체화됐고, 운이 좋게도 그가 연락을 줬습니다. 몇 달 후 우리는 어렵지 않게 완전한 증거를 만들 수 있었는데, 네 명 모두 수십 년 동안 아인슈타인 문제와 관련된 질문에 대해 고민해 온 노력의 보상 같습니다"라고 소감을 밝혔다.

---

Smith hadn't specifically set out to find an aperiodic monotile, but he was aware of the history and significance of the problem. He was always on the lookout for signs of aperiodicity in his explorations. It was Smith who first dared to suggest, in an e-mail on November 24, 2022, that the hat might be an einstein, modestly adding, “Now wouldn't that be a thing?”

Smith and I began trying to understand the hat's behavior. The hat is what's known as a polyform: a shape made up of copies of some simple unit element. For example, the pieces in the video game Tetris represent all the ways to stick four squares together.

The hat is made from eight kites. These kites aren't the same as Penrose's; Smith made them by slicing a regular hexagon into six equal pieces with lines connecting the midpoints of opposite edges.

He knew that I had recently written software to compute Heesch numbers of polyominoes (glued-together squares), polyhexes (regular hexagons) and polyiamonds (equilateral triangles), and he wondered whether it could be adapted to polykites. Fortunately, I had added support for kites the year before with the help of Ava Pun, an undergraduate at the University of Waterloo.

My software easily generated large clusters of hats without getting stuck, reinforcing our belief that the hat tiled the plane. Better yet, these new computer-generated clusters became raw data that Smith and I could study to refine our intuition. We began grouping hats in different ways, usually coloring them by hand in digital illustrations, to search for order. Recurring patterns leaped out immediately, organized around a sparse arrangement of reflected hats embedded in a larger field of unreflected hats (something Smith had also observed in his paper experiments).

Yet these patterns never formed a translational unit. Moreover, the tiles seemed to build up into families of related “motifs” at multiple scales. This kind of recurring hierarchy hinted at a best-case scenario for eventually proving the hat was aperiodic: we could hope to find a system of so-called substitution rules. In a substitution system, every tile shape in a set is equipped with a rule that can be applied to replace it by a collection of smaller copies of the tiles. Armed with a suitable substitution system for hats, we might be able to start with a “seed” configuration of tiles and apply the rules iteratively, zooming in as we go to preserve scale. In this way, we would define a sequence of ever-larger clusters of hats, which would eventually fill the entire plane. Many aperiodic tile sets, including Penrose's, can be shown to tile the plane with substitution systems like these.

On my 50th birthday, about two weeks after I first saw the hat, I found a preliminary set of substitution rules. The trick was to avoid working directly with “naked,” or single, reflected hats, which necessarily behaved differently than their unreflected counterparts. Instead I grouped each reflected hat with three of its neighbors to form an indivisible unit, a new “metatile” that could be treated as a full-fledged tile shape with a substitution rule of its own. I refined the metatiles and their rules through the rest of 2022, arriving at a system of four metatiles, each one a kind of schematic representation of a small cluster of hats.

By the start of 2023 Smith and I had half of a proof of aperiodicity, and arguably it was the easy half. Our metatiles and substitution rules guaranteed that the hat was a monotile: it tiled the infinite plane rather than petering out with an unexpectedly large, but finite, Heesch number. And it was easy to see that the tilings generated by the rules were nonperiodic. But remember that nonperiodicity is a far cry from aperiodicity. Perhaps our rules were just an overly complicated way to construct hat tilings, and periodic tilings existed, too. To complete the proof, we had to show that every tiling by hats was necessarily nonperiodic. I had some inkling of how that step might play out, but I felt as I imagine Smith had the previous November: close to the limits of my mathematical expertise. It was time to call in reinforcements.

Early in January 2023 Smith and I reached out to Goodman-Strauss, a mathematician who has published many important articles about tiling theory. I consider him a go-to authority on contemporary research. He is also known as a mathematics communicator and an organizer of hands-on activities, and at the time he was transitioning into a new role as an outreach mathematician at the National Museum of Mathematics in New York City. In other words, he was already swamped. But he provided valuable input and insisted that we also contact Myers immediately. Myers left academia after receiving a Ph.D. in the mathematical field of combinatorics, but he remained interested in tilings. In particular, he maintained a long-term project to catalog the tiling properties of polyforms. I had run some supporting computations for him back in 2006, and I was using his software as part of my own research on Heesch numbers.

I hadn't worked that closely with Myers before, so I was unprepared for his combination of mental horsepower, coding skill and knowledge of the field. His previous work on tilings had left him perfectly prepared for this moment. A mere eight days after being introduced to our work in progress, Myers completed the proof, confirming in late January that the hat was the world's first aperiodic monotile.

Before Myers came onboard, we already had our substitution rules and could generate tilings; his mission was to prove that all tilings by the hat had to be nonperiodic. In the aperiodicity playbook, the standard move at this point is to show that any tiling bears the imprint of the substitution rules. In other words, he needed to prove that for any arbitrary hat tiling, there is a unique way to group tiles into metatiles, metatiles into supertiles, and so on forever, reverse-engineering an infinite tower of substitutions that ends with the full, infinite tiling. A preexisting mathematical argument then would allow us to conclude that the tiling must be nonperiodic. The challenge of this strategy is to locate this tower atop an arbitrary hat tiling whose construction was not constrained at the outset to obey our rules.

Myers developed a computer-assisted approach to solving this problem. We generated an exhaustive list of 188 small clusters of tiles that could appear in hat tilings. These clusters represented every legal arrangement around a single hat so that each tile in any conceivable tiling must lie at the center of one such cluster. Myers then showed that each of these clusters could be divided up in a unique way into fragments of the metatiles, implying that the hats in any tiling could be grouped to yield a tiling by metatiles. Finally, he demonstrated that in a tiling made of metatiles, it was always possible to group metatiles into larger clusters called supertiles, which behave exactly like larger metatiles. This last step launches a kind of recursion: because the supertiles behave just like metatiles, the same grouping process applies to them as well. Once we group hats into metatiles and metatiles into supertiles, all subsequent levels of the hierarchy lock into place with a single mathematical flourish.

We had our prize, and in early February 2023 we began writing a manuscript to share the hat with the world. That might have been the end to an already magical story were it not for Smith's capacity for mathematical discovery. Way back in December 2022 he had shocked me by e-mailing me a second shape, a polykite we call the turtle, which behaved a lot like the hat. The turtle, too, radiated an uncanny aura of aperiodicity. Was it possible that Smith had discovered two revolutionary shapes in two weeks after others had looked in vain for 50 years? I begged for patience; my head was already full of hats, so to speak.

But after resolving the status of the hat, Myers began contemplating the neglected turtle. A week or two later he stunned the three of us with the observation that the turtle was necessarily also aperiodic because it was really just a hat in disguise. In fact, the hat and the turtle were two shapes in a continuous family of polygons, all of which were aperiodic and tiled in the same way.

The hat can be regarded as a polygon with edges of length 1 and √3 (where two consecutive edges of length 1 form one longer edge). Just as one can construct a family of rectangles by varying the lengths of its horizontal and vertical edges independently, we can choose any two numbers a and b to replace the hat's edge lengths and obtain a new polygon that we will call Tile(a,b). Using this notation, the hat is Tile(1, √3), and the turtle is Tile(√3, 1). Myers showed that nearly all shapes of the form Tile(a,b) are aperiodic monotiles with the same tilings. There were just three exceptions: Tile(0,1) (the “chevron”), Tile(1,0) (the “comet”) and the equilateral polygon Tile(1,1) (which never acquired a catchy nickname). Each of these three shapes is more flexible, admitting both periodic and nonperiodic tilings.

Soon after, Myers doubled down on the link he had forged between the hat and the turtle, developing a remarkable second proof of the hat's aperiodicity based on the Tile(a,b) continuum. He relied on the classic technique of proof by contradiction: he posited the existence of a periodic tiling of hats, and then, from the existence of such a tiling, he derived an absurdity that showed the initial supposition (the periodic hat tiling) was impossible. Specifically, he found that one could stretch and squeeze edges in a periodic hat tiling to obtain equivalent, periodic tilings by chevrons and comets. But chevrons and comets are both polyiamonds (unions of equilateral triangles) built on top of regular triangular tilings at different scales. In an argument that involves combinatorics, geometry and a dash of number theory, Myers proved that because the chevron and comet tilings originated from the same supposedly periodic hat tiling, their underlying triangle tilings would have to be related to each other through a mathematically impossible scaling factor. This was a second way to prove that the hat is an aperiodic monotile. It's exciting not just because it bolsters the claim of the hat's aperiodicity but also because it represents a whole new method of proof in this field, which could be useful in analyzing other tiles in the future.

We put our manuscript online in March 2023 and received an enthusiastic, overwhelming response from mathematicians and tiling hobbyists. The hat became an immediate source of inspiration for artists, designers and puzzle creators (you can now buy hat tiling sets on Etsy, for instance). It's important to remember that the work has not yet emerged from the crucible of peer review, although it has withstood a great deal of scrutiny from experts with barely a scratch.

When we first revealed the hat, people objected to one aspect of our work more frequently than any other: the use of reflected tiles. Every tiling by hats must include a sparse distribution of reflected hats, as Smith and I discovered early on. Mathematically, this objection does not derail our result: the accepted definition of a monotile has always allowed reflections as legal moves in tilings. Still, many wondered, could there be a shape out there that yields a “one-handed,” or “chiral,” aperiodic tiling in which no tiles are flipped over? Our manuscript offered no insight into this problem, and we were as prepared as everyone else to settle in for the long wait until its resolution.

Happily, Smith had one more astounding surprise for us. Less than a week after our first manuscript went live, he began e-mailing the rest of us about Tile(1,1), the equilateral member of the continuum of shapes that included the hat and the turtle. We knew that this polygon was not aperiodic: it admitted periodic tilings that mixed unreflected and reflected tiles. But Smith observed that if he deliberately restricted himself to tiles of a single-handedness (no flipping allowed), he produced intriguing clusters of tiles.

The four of us immediately dove into a new collaboration. We computed large patches of unreflected copies of Tile(1,1) and studied them for patterns. We discovered a way to group tiles into recurring clusters and then determined substitution rules for those clusters that yielded superclusters with identical behavior. Once again, this recursive grouping guaranteed the existence of a unique infinite hierarchy of substitutions that forced all unreflected (single-handed) tilings to be nonperiodic. The final trick was simply to replace the edges of Tile(1,1) with arbitrary curves, which guaranteed that tiles and their reflections couldn't coexist in a tiling. The result was a family of shapes that we called spectres, all of which turned out to be chiral aperiodic monotiles.

There is a romance to stories of mathematicians working for years on intractable problems, sometimes in secret, and finally emerging into the light with a new result. That is not our story. Although I was always fascinated by the einstein problem, I never worked on it directly—I started only when I was handed the answer in November 2022. The hat more or less materialized in Smith's hands, and I was lucky that he chose to contact me. A few months later we had a complete proof, created through a process that was, as far as I can tell, painless for all four of us. Perhaps our pace reflects the fact that there is a clear procedure to follow in generating a proof of aperiodicity if you have the right shape to begin with. Our sense of ease was also surely a result of the decades we had each spent pondering the einstein problem and related questions. That experience left us well positioned to recognize the hat as a possible solution and to know what to do with it.

There is no shortage of unsolved problems in tiling theory, a branch of mathematics with a low barrier to entry and lots of visual appeal. Smith joins a pantheon of enthusiastic amateurs who have made important contributions to the field, often after reading about open problems in this magazine. He is in the company of Robert Ammann, who independently discovered many of the same results as Penrose and contributed other important ideas to tiling theory; Marjorie Rice, who discovered new classes of pentagonal monotiles; and Joan Taylor, who originated the Socolar-Taylor tile. I should also include the artist M. C. Escher, who invented the math he needed to draw his tessellations, even if he would not have thought of it as math at all.

As the impact of our aperiodic monotiles ripples outward, I'm sure it will stimulate new scholarly research. But I hope we also entice others who might have seen mathematics as forbidding but now recognize an opportunity to play.

50년 묵은 난제, '아인슈타인 타일' 해결
데이비드 스미스, '모자' 타일 발견해
모노타일 발견으로 타일 이론에 새로운 지평 열려

[해외DS]는 해외 유수의 데이터 사이언스 전문지들에서 전하는 업계 전문가들의 의견을 담았습니다. 저희 데이터 사이언스 경영 연구소 (GIAI R&D Korea)에서 영어 원문 공개 조건으로 콘텐츠 제휴가 진행 중입니다.

---

2022년 11월 캐나다 워털루대의 크레이그 카플란(Craig S. Kaplan) 교수는 어떤 도형을 봐달라는 이메일을 받았다. 이 이메일 안에는 많은 사람들이 존재할 수 없다고 생각했던 '아인슈타인 타일'로 보이는 '모자' 도형이 그려져 있었다. 타일링(평면을 덮기 위해 도형을 배열하는 다양한 방법)에 관심 있는 '도형 애호가' 데이비드 스미스(David Smith)가 보낸 이메일인데, 그는 영국 요크셔에 있는 자택에서 여가 시간에 기하학 실험을 즐겨 하는 아마추어 수학자다. 그런 그가 반세기 동안 전이 없던 이 문제를 풀어냈다. 반복된 패턴 없이 단 하나의 모양으로 평면을 무한대로 메울 수 있는 '비주기적 모노타일(aperiodic monotile)'을 발견한 것이다.

카플란 교수는 스미스와 정기적으로 연락을 주고받으며 카플란 교수가 만든 프로그램에서 모자 타일로 평면이 무한대로 채워질 수 있는지 확인했다. 2023년에는 엄밀한 수학적 증명을 위해 타일링 이론 분야에서 잘 알려진 수학자 차임 굿맨-슈트라우스(Chaim Goodman-Strauss)와 소프트웨어 개발자 조셉 사무엘 마이어스(Joseph Samuel Myers)에게 추가로 연락을 취했다. 굿맨-슈트라우스 수학자와 마이어스가 모자 모양의 타일이 비주기적 모노타일임을 증명하는 동안 스미스로부터 새로운 메일이 도착했다. 메일에는 "또 다른 아인슈타인 타일을 찾은 것 같다"고 적혀있었다. 스미스의 모자는 시작에 불과했다. 이 모자는 '거북이', '유령', 그리고 예상했던 것보다 더 많은 통찰력을 제공하는 다른 수학적 경이로움으로 이어졌다.

평면을 무한히 채우기 위해 필요한 두 가지 속성

수학자들이 본격적으로 타일을 연구하기 시작한 것은 20세기부터다. 이른바 평면의 타일링은 평면을 빈틈없이, 겹치지 않고 덮는 도형의 무한한 집합을 말한다. 여기서는 타일링에 포함된 무한히 많은 타일이 유한한 개수의 서로 다른 모양을 한 경우에 초점을 맞춘다. 무한한 테이블 위에 타일 도형을 잘라내어 테이블의 모든 부분이 한 겹의 종이로 덮이도록 하는 것이다. 반사(종이를 뒤집는 것), 회전(그 자리에서 돌리는 것), 평행이동(돌리지 않고 도형을 미는 것)을 조합하여 타일을 평면 위에 채워나갈 수 있다. 그 결과 도형의 집합은 타일링을 '인정'하게 되고, 더 일반적으로는 도형이 평면을 타일링할 수 있다고 표현한다.

모든 도형 집합이 타일링을 허용하는 것은 아니다. 정사각형은 모노타일(하나의 집합)로서 평면을 타일링 하지만, 정오각형은 그 자체로는 평면을 타일링할 수 없다. 마찬가지로 정팔각형도 스스로 평면을 타일링할 수 없지만, 정팔각형과 정사각형으로 구성된 집합은 평면을 타일링 할 수 있다.

그렇다면 주어진 도형 집합이 평면을 타일링하는지 어떻게 확인할 수 있을까. 이 질문에 답할 수 있는 알고리즘은 존재하지 않으며, 실제로 존재할 수도 없다. 이는 이론 컴퓨터 과학에서 '결정 불가능'으로 알려져 있다. 하지만 다른 방법을 통해 타일링을 증명할 수 있는데, 스미스의 모자가 등장하기 전에는 항상 두 가지 방식 중 하나로 작동했다.

첫 번째 속성은 도형을 그 자체의 복사본으로 완전히 둘러싸는 것을 시도해 보는 것이다. 그럴 수 없다면 도형은 타일링을 허용하지 않는 것이 확실하다. 하지만 한 층으로 에워싸는 것으로 타일링을 담보하지 못한다. 하나 이상의 동심층을 허용하는 기만적인 '비타일러'가 있기 때문이다. 1968년 수학자 하인리히 히쉬(Heinrich Heesch)는 한 번은 둘러싸일 수 있지만 두 번은 둘러싸일 수 없는 도형을 보여주며 비타일러 주위에 만들 수 있는 동심원의 수에 상한이 있는지 물었고, 이 수치는 도형의 '히쉬수'(Heesch number)로 알려져 있다. 현재 가장 높은 히쉬수는 6이며, 세르비아 노비사드대학의 보얀 바시치가 2020년에 발견한 히쉬 수 6은 매우 화려한 다각형이다.

두 번째 속성은 도형이 주기적으로 평면을 타일링한다는 특성을 발견하는 것이다. 주기적 타일링에서는 타일의 배열이 무한한 평행 사변형 격자 위에 규칙적인 패턴으로 반복된다. 즉 병진 단위(translational unit)라고 하는 유한한 타일 클러스터를 식별해서 해당 병진 단위의 복사본이 병진 이동을 통해 평면을 무한하게 덮을 수 있는지 확인하는 것이다. 히쉬 수와 마찬가지로, 도형이 평면을 타일링하기 위해 필요한 최소 병진 단위의 하한이 있는지는 아무도 모른다. 마이어스가 발견한 최소 병진 단위는 10개의 타일이었다.

스미스에게 모자 타일이 특별해 보였던 이유는 모자 도형이 위에서 언급한 두 가지 속성 중 어느 것도 따르지 않고 평면을 타일링할 수 있다고 느꼈기 때문이다. 그는 모자의 병진 단위가 몇 개로 이뤄져 있는지 알아낼 수 없었지만, 모자의 히쉬수는 계속 증가하는 것을 발견했다. 물론 모자가 히쉬수가 높은 비타일러이거나 병진 단위가 큰 주기적 모노타일일 수도 있지만, 스미스는 그런 경우가 드물다는 것을 알고 있었다. 그는 한 가지 가능성(비주기적 모노타일, 또는 아인슈타인 타일)이 남아 있다는 것을 알고 있었기 때문에 카플란 교수에게 연락을 취했다.

비주기적 모노타일을 찾기 위한 여정

약 60년 전 수학자들은 주기적으로 반복되지 않고 평면을 타일링할 수 있는 도형 집합, 즉 병진 단위 없이 임의로 큰 주기적 타일링을 형성할 수 없는 도형 집합이 있는지 궁금해하기 시작했다. 이러한 집합을 강한 비주기성(aperiodicity)이라고 하는데, 일반 비주기성(nonperiodicity)에서 임의로 큰 주기적 타일링이 없다는 조건이 추가된 속성이다. 예를 들어 평범한 2×1 직사각형을 포함한 많은 도형에서 약간의 배치 변형으로 주기성과 비주기성을 모두 허용하는데, 강한 비주기성은 어떤 주기성도 허용하지 않는다.

강한 비주기성은 1960년대 초 하버드대학교의 수학과 교수로 재직 중이던 하오 왕(Hao Wang)이 처음 설명한 개념이다. 그는 현재 우리가 '왕 타일'이라고 부르는 정사각형 타일, 즉 가장자리에 라벨이나 색상이 있는 정사각형 타일을 연구하고 있었는데, 타일 집합이 주어졌을 때 위쪽과 아래쪽 가장자리의 레이블 순서가 같고 왼쪽과 오른쪽 가장자리도 일치하는 직사각형을 찾을 수 있다면, 그 직사각형은 병진 단위이므로 그 집합이 평면을 타일링한다는 것을 관찰했다. 그는 반대로 왕 타일 집합이 평면을 무한히 타일링할 수 있으면 그러한 직사각형을 만들 수 있어야 한다고 추측했다. 따라서 그는 왕 타일이 결코 강한 비주기성을 가질 수 없다고 주장했다.

당시 타일링에 대해 알려진 바에 따르면 왕의 추측은 상당히 합리적이었다. 그러나 몇 년 후 왕의 제자인 로버트 버거(Robert Berger)는 이 연구를 바탕으로 20,426개의 왕 타일로 구성된 최초의 비주기적 타일 세트를 구성해 냈다. 버거는 더 작은 비주기적 집합을 발견하기 위해 집합의 크기가 얼마나 작을 수 있는지에 대한 거부할 수 없는 수학적 탐구을 시작했다. 1971년 미국 버클리 캘리포니아대학의 라파엘 M. 로빈슨(Raphael M. Robinson)은 6개의 변형된 정사각형 집합을 찾아냈다.

그리고 1973년 옥스퍼드대의 수학자 로저 펜로즈(Roger Penrose)는 '연'(kite)과 '다트'(dart)라는 단 두 개의 타일로 이뤄진 결과를 선보였다.

펜로즈의 연구로 비주기적 모노타일(aperiodic monotile)이라는 결승선으로부터 한 걸음만 남겨두게 됐다. 비주기적 모노타일은 '하나의 돌'이라는 뜻의 독일어 '아인슈타인'에서 유래한 '아인슈타인 타일'이라고도 불린다. 그리고 비주기적 모노타일이 존재하는지에 대한 질문은 아인슈타인 문제라고 불린다.

펜로즈 이후 거의 50년 동안 진전이 없었다. 굿맨-슈트라우스가 발견한 것을 포함해 몇 가지 다른 듀얼 집합이 발견됐을 뿐이고, 일부 수학자들이 제안한 단일 타일은 타일 게임 규칙을 수정해야 했다. 예를 들어 소콜라-테일러 타일(Socolar-Taylor Tile)은 비주기적으로 배열되도록 하려면 육각형을 3차원으로 돌출시키거나 단절된 조각으로 쪼개는 등의 수정을 거쳐야 했다.

그럼에도 많은 이들이 아인슈타인 문제에 매료됐던 이유 중 하나는 비주기적 모노타일의 존재를 지지하거나 반대하는 명확한 증거가 보이지 않았기 때문이다. 일부 수학자들은 비주기적 모노타일이 존재할 수 없다고 단념했지만, 희망을 가진 이들은 존재 증명이 존재하지 않는다는 증명보다 더 설득력이 있을 것으로 생각하며 묵묵히 연구를 이어 나갔다. 스미스는 결국 모노타일을 발견했고, 이는 오랜 침체의 끝을 알리듯 창발의 연속으로 이어졌다.

[해외 DS] 반세기 만에 찾은 '아인슈타인 타일' ②, 아마추어 수학자의 샘솟는 아이디어으로 이어집니다.

---

Inside Mathematicians’ Search for the Mysterious ‘Einstein Tile’

The quest for the einstein tile—a shape never seen before in mathematics—turned up even more discoveries than mathematicians counted on

In November 2022 a colleague of mine casually asked what I was working on. My dazed answer reflected the swirl of ideas that was consuming all my mental energy at the time: “Actually, I think the solution to a major open problem just fell into my lap.” A week before, I had received an e-mail asking me to look at a shape. That was the first time I saw “the hat,” an unassuming polygon that turned out to be the culmination of a decades-long mathematical quest.

The e-mail came from David Smith, someone I knew from a small mailing list of people interested in tilings—different ways to arrange shapes to cover a flat surface. Smith isn't a mathematician; he is a self-professed “shape hobbyist” who experiments with geometry in his spare time from his home in Yorkshire, England. After Smith sent me the hat shape he'd been playing with, we began corresponding regularly, spending the rest of 2022 studying the hat and its properties. In 2023 we reached out to two additional researchers, mathematician Chaim Goodman-Strauss and software developer Joseph Samuel Myers, both also members of the mailing list and well known in the larger world of tiling theory. The four of us continued to study the hat and, in what felt like record time, succeeded in proving that the shape was a long-sought object that many assumed couldn't exist: an aperiodic monotile, also known as an einstein tile.

As it turns out, Smith's hat was just the beginning of a sequence of revelations. As we explored the new landscape of ideas revealed by this shape, we were surprised multiple times by additional discoveries that further deepened our understanding of tiling theory. Soon the hat led to “turtles,” “spectres,” and other wonders that yielded more insights than we could have expected at the outset.

Tiles have fascinated humans since ancient times, but mathematicians began studying them in earnest in the 20th century. A so-called tiling of the plane is an infinite collection of shapes that cover a flat surface with no gaps and no overlaps. I will focus on cases where the infinitely many tiles in a tiling come in a finite number of distinct shapes. Imagine a handful of templates that can be used to cut copies of the shapes out of an unlimited supply of paper. Our goal is to arrange cutouts on an infinite tabletop so that every bit of table is covered by exactly one layer of paper. We can move each cutout into position through some combination of reflection (flipping the paper over), rotation (turning it in place) and translation (sliding the shape around without turning it). If we achieve our goal of constructing a tiling, we say that the set of shapes “admits” the tiling and, more generally, that the shapes tile the plane.

Not all sets of shapes admit tilings. A square yields a tiling resembling graph paper, among other patterns, and is therefore a monotile: it tiles the plane on its own (as a set of one). A regular pentagon, in contrast, cannot tile the plane by itself. Neither can a regular octagon, although a two-element set consisting of an octagon and a square does tile.

How can we determine whether a given set of shapes tiles the plane? There's no algorithm we can use to answer this question, and in fact none could exist—the problem is what's known in theoretical computer science as “undecidable.” Nevertheless, we can study individual sets and attempt to build tilings through trial and error or other methods. Along the way we often encounter fascinating examples of how local interactions (the different ways two tiles can sit side-by-side) influence global behavior (the large-scale structure of the tiling out to infinity in every direction).

There are multiple ways to figure out whether a single shape can tile the plane. Some people, such as Smith, will even cut out physical paper copies of a shape using a computer-controlled cutting tool and play with them on actual (regrettably finite) tabletops, recruiting the immediacy of touch to augment visual intuition. In the hands of a skilled explorer like Smith, a shape will disclose its tiling secrets in short order. And in the pre-hat era, a shape would invariably behave in one of two ways.

The first possibility is that the shape will not tile the plane. As a quick test, we might try to surround it completely by copies of itself; if we can't, then the shape certainly does not admit any tilings. For instance, the regular pentagon is unsurroundable, which immediately outs it as a nontiler. But although surroundability provides evidence of tilability, it is not firm proof: there are deceptive nontilers that can be completely surrounded by one or more concentric layers of copies before getting irretrievably stuck. In 1968 mathematician Heinrich Heesch exhibited a shape that could be surrounded once but not twice and asked whether there was an upper limit to the number of concentric rings one might build around a nontiler, a quantity now known as a shape's “Heesch number.” The current record holder is a particularly ornery polygon with a Heesch number of six, discovered in 2020 by Bojan Bašić of the University of Novi Sad in Serbia.

The second possibility is that the shape tiles the plane periodically. In a periodic tiling, the arrangement of tiles repeats in a regular pattern determined by an infinite grid of parallelograms. We can describe a periodic tiling using three pieces of information: a finite cluster of tiles called a translational unit and two line segments that define the sides of a parallelogram in the grid. We can slide a copy of the translational unit out to every vertex in the grid, without rotating or reflecting it, and these copies will interlock to complete a tiling. This method offers a quick test of a shape's ability to tile: we assemble candidate translational units and then see whether any of them covers the plane by repeating in a regular grid. As with Heesch numbers, no one knows whether there is any bound on the smallest translational unit a shape might require before it can be repeated to tile the plane. Myers discovered the current record holder, a shape whose simplest translational unit contains 10 tiles.

When Smith began experimenting with the hat, what caught his eye was that it refused to conform to either of these options. The hat did not obviously tile the plane: he couldn't find a way to build a translational unit of any size. But it did not obviously fail to tile the plane, either: with effort, he could surround a hat with multiple layers of copies without getting stuck. It was conceivable that the hat might be a nontiler with a high Heesch number or a periodic monotile with a large translational unit, but Smith knew that such cases were rare. He reached out to me because he also knew that there was one other possibility, one so extraordinary that it demanded to be considered in full.

About 60 years ago mathematicians started wondering whether there were sets of shapes that could only tile the plane without ever repeating periodically—that is, that someone could assemble copies into arbitrarily large patches without ever encountering a translational unit. Such a set is called aperiodic. Crucially, aperiodicity is a much stronger property than nonperiodicity. Lots of shapes, including a humble 2 × 1 rectangle, can admit tilings that are periodic as well as tilings that aren't periodic. Aperiodic sets have no possible periodic tilings.

The notion of aperiodicity was first articulated by Hao Wang in the early 1960s, while he was a math professor at Harvard University. He was studying what we now call Wang tiles: square tiles with symbolic labels or colors on their edges that must be positioned so that neighboring squares have the same markings on their adjoining edges. (These labels are a convenient shorthand for equivalent rules that can be expressed geometrically.) Wang observed that if, given a set of tiles, one can find a rectangle whose top and bottom edges have the same sequence of labels and whose left and right edges also match, then that rectangle is a translational unit, and hence the set tiles the plane. He then conjectured the converse: that if a set of Wang tiles admits a tiling of the plane, then it must be possible to build such a rectangle. In other words, he claimed that Wang tiles can never be aperiodic.

Based on what was known about tilings at the time, Wang's conjecture was quite reasonable. Building on this work a few years later, however, Wang's student Robert Berger disproved the conjecture by constructing the first aperiodic tile set, a sprawling system of 20,426 Wang tiles. In passing, Berger speculated that it should be possible to construct smaller aperiodic sets, inaugurating an irresistible mathematical quest to see how small a set could be. By 1971 Raphael M. Robinson of the University of California, Berkeley, had gotten down to a set of six modified squares.

Then, in 1973, University of Oxford mathematician Roger Penrose achieved a stunning breakthrough with a set of just two tiles: the “kite” and the “dart.”

Penrose's work left us one step short of an obvious finish line: an aperiodic monotile, a single shape that admits only nonperiodic tilings. Such a shape is also sometimes called an “einstein,” from the German “ein stein,” meaning “one stone.” (It's a pun on the name “Einstein” but otherwise has no connection to the famous Albert.) The question of whether an aperiodic monotile exists has been called the einstein problem.

After Penrose, progress stalled for nearly 50 years. A few other sets of size two were discovered, including one by Goodman-Strauss. Some mathematicians proposed single-shape solutions, but these inevitably required small amendments to the rules of the game. For example, the Socolar-Taylor tile is a modified regular hexagon that tiles aperiodically. The catch is that for copies of this hexagon to conspire to force all tilings to be aperiodic, nonadjacent tiles must come to an agreement about their relative orientations. There is no way to bake this restriction into the outline of the tile without introducing a trick, such as extruding the hexagon into three dimensions or breaking it into disconnected pieces.

Even when a problem in mathematics is unsolved, there is often a broad consensus among mathematicians about its likely answer. For example, Goldbach's conjecture states that every even number greater than two is the sum of two odd primes. This conjecture is unproven, but the evidence we have overwhelmingly suggests that it's correct. One reason I was always fascinated by the einstein problem is that I did not see clear evidence for or against it (apart from the grim reality of a 50-year dry spell). Some mathematicians were resigned to the impossibility of aperiodic monotiles, but I was open to either outcome. If nothing else, I suspected that an existence proof would be more tractable than a nonexistence proof. The former was likely to be an argument about the properties of a specific shape, but the latter would necessarily be a statement about all shapes. As we now know, in this instance there is some justice in the universe.

팬데믹 당시 인력 대거 감축한 호텔·콘도업, 엔데믹 후 '비상'
관광 수요 돌아오는데 인력 상태는 그대로, 내국인 고용 어려워
위기 감지한 정부, 관련 분야에 고용허가제 외국인력 도입 본격 허용

엔데믹 전환 이후 인력난에 시달리는 호텔·콘도업에 고용허가제 외국인력(E-9 비자) 도입이 허용된다. 정부는 29일 외국인력정책위원회를 개최, 고용허가제 외국인력 신규 허용 업종을 확정했다. 고용 허가서 발급 등 본격적인 외국인력 신청 가능 시점은 내년 4월쯤으로 전망된다. 송출국 지정, 인력 선발 및 취업 교육기관 지정 등 일련의 과정을 고려해 계산한 시기다.

호텔·콘도업, 'E-9 비자' 외국인 고용 허용

고용허가제는 국내 기업이 내국인 인력을 구하지 못해 불가피하게 외국인력 도입이 필요할 경우, 정부(노동부장관)로부터 허가를 받아 외국인력을 근로자로 고용할 수 있는 제도다. 기업은 고용허가제하에 비전문 취업(E-9) 비자로 입국한 외국인들을 일정 기간 고용할 수 있다. 정부는 현장 인력난 호소와 외국인력 허용 요구가 이어졌던 호텔·콘도업에 대한 현장 실태조사와 수요조사를 진행, 최종적으로 외국인력 고용을 허용하기로 했다.

이번 업종 확장은 주요 관광 권역인 서울·부산·강원·제주에 위치한 호텔·콘도 업체(호스텔 포함)의 청소원, 주방 보조원 직종에 시범 도입된다. 이로써 호텔·콘도업체와 청소 등 1:1 전속 계약을 맺는 협력 업체, 호텔·콘도업체에서 직영으로 운영하는 식당 근무자 등도 외국인력을 고용할 수 있게 된다. 정부는 이후 고객 등 국민과 해당 업종 근로자 등 이해관계자 의견을 충분히 수렴하고, 관계부처 합동 시범사업 평가 등을 통해 추가 확대 여부를 검토할 예정이다.

신규 허용 업종에 대해서는 업종별 협회 등을 통해 직무교육 및 산업안전 교육 등을 실시한다. 2024년 하반기에는 관계부처 합동으로 호텔·콘도업 외국인력 고용관리 실태조사를 진행할 예정이다. 업황 및 고용허가제의 특성 등을 고려한 인력관리 보완 대책도 함께 추진한다. 방기선 외국인력정책위원장은 "지난번 음식점업에 이어 금번 호텔·콘도업까지 외국인력(E-9)을 시범적으로 허용했다"며 "향후 내국인 일자리 잠식 가능성, 사업주 관리 노력 등을 면밀히 분석한 후 추후 확대 여부를 판단하겠다"고 강조했다.

코로나19 팬데믹 '인력 결손'의 충격

현재 극심한 인력난을 호소하는 호텔·콘도업계는 코로나19 팬데믹 당시 막대한 충격을 입었던 업종이다. 당시 관광객의 발길이 끊기며 수입이 급감하자, 이들 업종은 직원들을 해고하며 '생존'에 총력을 기울인 바 있다. 관광산업위원회에 따르면 2019년 3월부터 2020년 9월 사이 호텔업 객실 매출액 47.7%, 고용인원은 24.6% 감소했다. 코로나19 팬데믹 발생 직후 호텔업 종사자 4명 중 1명이 직장을 잃었다는 의미다.

하지만 엔데믹 전환 이후 상황이 뒤집혔다. 세계 각국의 코로나19 관련 규제가 완화하며 그동안 억눌렸던 여행 수요가 시장에 쏟아져 나온 것이다. 28일 한국관광공사가 발표한 ‘2023년 11월 한국관광통계’에 따르면, 1~11월 누적 방한 외국인 관광객은 999만5,000명에 달했다. 이는 전년 동기 대비 275.9% 증가한 수치며, 코로나 이전인 2019년 동기와 비교하면 62% 수준이다.

문제는 관광업계의 인력 보충 속도가 관광 수요 회복 속도를 따라가지 못했다는 점이다. 특히 호텔업의 경우 젊은 세대 사이에서 이른바 '3D 업종(Dirty, Difficult, Dangerous의 준말)'이라는 평을 받으며 내국인 인력 수급에 난항을 겪고 있다. 객실 청소, 홀서빙 부문 등 가장 기본적인 부문의 인력부터가 수요를 따라가지 못하는 실정이다. 이번 고용허가제 업종 확장은 과연 인력난에 짓눌리던 호텔·콘도업계의 숨통을 틔워줄 수 있을까.

CSAP 획득 SaaS 솔루션 89개, 계약 체결한 솔루션은 19개
비용 부담 크고 수익성은 부족해, 외면받는 공공 시장
SW 기업 공급, '거대 수요' 기업용 SaaS 시장에 몰렸다

공공용 서비스형 소프트웨어(Software as a Service, SaaS) 시장에 찬바람이 불어닥쳤다. 28일 디지털서비스 이용지원시스템에 따르면, 공공시장 공급을 위해 클라우드 보안인증(CSAP)을 받은 89개 SaaS 솔루션 중 계약을 한 건도 체결하지 못한 솔루션이 70개(79%)에 달했다. 이에 업계에서는 공공사업 특유의 낮은 수익성이 관련 시장의 침체를 부추기고 있다는 지적이 제기된다. SW(소프트웨어) 기업이 B2B(기업간거래) 모델의 매력을 뒤로 하고 굳이 공공용 시장에 뛰어들 이유가 없다는 비판이다.

"들어가는 돈은 많고, 나오는 돈은 없다"

올해 공공 시장 SaaS 계약 전체 건수는 135건, 계약 금액은 약 37억원에 그쳤다. 2022년(153건)과 비교하면 20건 가까이 감소한 수준이다. 올해 한 건이라도 계약을 체결한 SaaS 솔루션은 19개에 불과했다. 이는 2020년 10월 공공 분야 클라우드 공급을 위한 디지털서비스 전문계약제도가 시행된 이후 최저치다. 어떤 계약도 체결하지 못한 70개 기업은 사실상 고가의 CSAP 인증 비용만 지불한 채 별다른 성과를 내지 못한 셈이다.

공공기관은 공공 SaaS 시장 침체의 원인으로 '제품 부족'을 지목한다. 영국(공공용 SaaS 1만1,800여 개), 미국 (1만5,000여 개) 등 주요국과 비교하면 선택지가 현저히 부족하다는 것이다. 하지만 업계에서는 애초 수익성이 보장되지 않는 공공 시장에 많은 기업이 뛰어들 수는 없다고 반박한다. CSAP 유료 인증 장벽, 공공 시장의 낮은 수익성 등 기업에 불리한 구조가 시장 침체의 근본적 원인이라는 주장이다.

실제로 공공 SaaS 전환은 상용 SW 기업에 상당한 부담으로 작용한다. 올해 SaaS 평균 계약 금액은 1건당 약 2,740만원에 달한다. 설사 SaaS 전환에 성공한다고 해도 공공 시장의 낮은 수익성이 다시 한번 발목을 잡는다. 올해 계약 체결에 성공한 19개 SaaS 솔루션 중 CSAP 인증 비용 이상의 수익을 거둔 기업은 절반 정도인 것으로 추정된다. 업계에서는 CSAP를 비롯한 보안 규제, 낮은 수익성 등 공공 시장 '진입 장벽'을 낮춰야 한다는 지적이 꾸준히 제기되고 있다.

SW 기업들, 전망 밝은 'B2B' 시장으로

공공 SaaS 사업에서 등을 돌린 SW 기업들은 B2B 모델에 초점을 맞추고 있다. 기업들의 SaaS 도입 수요가 폭증하며 관련 시장이 빠르게 성장하고 있기 때문이다. 기업들의 SaaS 활용도는 세계 각국의 통계에서도 여실히 드러난다. 독일 통계 플랫폼 스태티스타(statista)에 따르면, 글로벌 SaaS 서비스 시장 규모는 2023년 약 1,970억 달러(약 258조원)에 달했다. 2015년(41조원) 대비 6배 이상 성장한 수준이다.

최근 영국의 SW 개발사 데브스쿼드(DevSquad)는 기업에서 사용하는 소프트웨어의 70% 이상이 SaaS(2023년 기준)라는 조사 결과를 발표하기도 했다. 이어 현재와 같은 성장세가 이어질 경우 2025년 기업에서 사용하는 소프트웨어의 약 85%가 SaaS 기반이 될 것이라는 전망도 제시했다. 미국의 통합 SaaS 관리 플랫폼 기업 베터 클라우드(Better Cloud)도 전 세계 기업의 54%는 생산성 향상을 위해 SaaS 도구를 사용 중이며, 78%가 기업의 민감한 데이터를 SaaS 소프트웨어에 저장 및 관리하고 있다는 설문조사 결과를 발표했다.

이처럼 B2B SaaS 시장은 수많은 기업의 '디지털 전환' 수요를 흡수하며 급속도로 성장하고 있다. 기업들의 외부 서비스 사용에 대한 거부감이 흐려지는 가운데, 수많은 SW 기업이 계약을 따내며 자리를 굳혀 나가는 양상이다. 현시점의 공공용 SaaS 시장은 B2B라는 '금광'을 이길 수 없다. 공공 SaaS 시장의 침몰을 막기 위해서는 매력적인 '미끼'를 제공, SW 기업의 시장 유입을 촉진할 필요가 있다는 의미다.

C2C 생태계 갖추는 크림, 중고명품 플랫폼 '팹' 투자 확대
MZ세대 덮친 '명품 리셀' 문화, 중고로 팔고 중고로 산다
각국 럭셔리 시장도 '중고'에 주목, 더 이상 틈새시장 아냐

네이버의 손자 기업 크림이 자회사를 활용한 중고명품 사업 확장에 나섰다. 지난 22일 크림은 중고명품 플랫폼 '시크' 운영사 팹의 유상증자에 참여, 총 29억9,900만원을 출자했다. 중고명품 시장 영향력을 확보하기 위해 팹에 대한 투자를 본격화한 것으로 풀이된다. 틈새시장이었던 중고명품 업계가 '레드오션'으로 변모하는 가운데, 크림은 치열한 경쟁을 뚫고 투자 성과를 거둘 수 있을까.

한정판에서 명품까지, 크림의 'C2C' 사업 확장

크림은 2020년 3월 네이버 자회사 스노우가 5억원을 출자해 설립한 기업으로, 현시점 국내 최대 한정판 거래(리셀) 플랫폼으로 꼽힌다. 서비스의 출발 지점은 개인 간 한정판 스니커즈 거래 중개 서비스였다. 프리미엄가를 지불하더라도 희소성 높은 상품을 구입하고자 하는 MZ세대를 타깃으로 삼았다. 이후 서비스는 청년층을 중심으로 입소문을 탔고, 크림의 취급 항목은 한정판 운동화에서 △시계 △명품 △장난감 △음반 △게임 카드 등으로 대폭 확대됐다.

크림은 지난 2021년 시리즈 A와 시리즈 B 단계에서 각각 200억원과 1,000억원의 규모를 투자를 유치한 바 있다. 지난 3월에는 미래에셋캐피탈, 알토스벤처스, 삼성증권 등으로부터 투자를 유치하며 2,206억원 규모의 시리즈 C 투자를 매듭지었다. 이후 지난 22일 크림은 벤처캐피탈(VC) 알토스벤처스를 대상으로 500억원 규모의 제3자 배정 유상증자를 결정했다. 기업가치는 1조206억원까지 뛰었다. 유니콘(기업 가치가 1조원을 넘는 비상장 스타트업) 반열에 오르며 입지를 굳힌 것이다.

시장 기반을 확보한 크림은 국내외 유망 C2C(개인간거래) 플랫폼에 지분 투자를 단행, 글로벌 C2C 생태계 구축에 총력을 기울여 왔다. 최근 30억 규모 자본 출자를 단행한 팹 역시 이 같은 '크림 C2C 생태계'의 구성원이다. 팹이 운영하는 시크는 지난해 5월 국내 최대 규모 명품 온라인 커뮤니티인 네이버 카페 '시크먼트'를 기반으로 론칭한 서비스다. 팹은 시크 출시 이후 제품 발송, 검수, 판매 및 정산 등 중고 명품 판매 과정 전반을 지원하는 '시크 피프티' 서비스로 C2C 수요를 흡수, 빠르게 덩치를 불려온 바 있다.

"MZ 수요 잡아라" 중고명품 시장의 성장

크림이 중고명품 시장에 힘을 쏟는 것은 MZ세대의 C2C 거래 수요를 잡기 위함으로 풀이된다. 코로나19 팬데믹 당시, MZ세대 사이에서는 신상 명품을 중심으로 한 '보복 소비' 열풍이 불었다. 명품 브랜드 매장 앞에서 긴 줄을 서며 '오픈런'을 감수하는 일도 흔했다. 하지만 최근 들어 명품 가격과 금리가 동시에 뛰어올랐고, MZ세대의 구매 부담 역시 눈에 띄게 커졌다. 주춤한 '신상 명품' 수요는 고스란히 중고 시장으로 유입되기 시작했다.

MZ세대들의 '투자'식 명품 구매 역시 중고시장 활성화에 영향을 미친 것으로 풀이된다. 청년층 사이에서는 한정판 명품의 재판매를 통해 수익 실현이 가능하다는 인식이 빠르게 확산하고 있다. 명품 소비 수요와 리셀을 통한 수익 창출 수요가 맞물리며 중고명품 시장 전반이 성장했다는 의미다. 실제 전체 명품 판매 중 중고품이 차지하는 비율은 2019년 3.1%에서 2022년 3.9%로 증가했다. 

글로벌 시장조사기관 리서치앤마켓은 2021년 약 39조원 수준이었던 글로벌 중고 명품 시장의 규모가 2025년 약 56조원까지 성장할 것으로 전망했다. 국내 시장 역시 이 같은 흐름에서 '예외'가 될 수는 없을 것으로 보인다. 2008년 4조 원 규모였던 국내 중고명품 시장은 2020년 20조원으로 성장한 바 있다. 현재 국내 명품 시장이 '리셀 중심'으로 움직이고 있다는 점을 고려하면 차후 시장 성장세는 한층 가팔라질 가능성이 크다.

불붙은 중고명품 시장 경쟁

중고명품 시장에 대한 긍정적 전망이 쏟아지는 가운데, 업계 내 경쟁 역시 치열해지는 추세다. 세계 각국에서는 중고명품에 초점을 맞춘 서비스가 속속 등장하고 있다. 2009년 프랑스 파리에서 설립된 베스티에르 콜렉티브는 세계 최대 규모의 럭셔리 리세일 플랫폼이다. 틈새시장이었던 명품 중고거래 분야에 무게를 실어 폭발적으로 성장했으며, 현재는 미국 더리얼리얼, 스레드업과 함께 세계 3대 중고거래 플랫폼으로 손꼽힌다. 2021년에는 10억 달러(약 1조3,000억원) 이상의 기업가치를 인정받으며 유니콘 기업 반열에 오르기도 했다.

'프리미엄 수요'가 많은 명품 시계 시장에서도 중고거래가 눈에 띄게 성장하고 있다. 특히 온라인 플랫폼을 중심으로 거래 수요가 폭증하는 양상이다. 와치박스(WatchBox), 크로노24(Chrono24), 워치파인더(Watchfinder) 등 온라인 명품 시계 마켓은 온라인 구매를 선호하는 MZ세대의 수요를 흡수, 관련 시장 성장을 주도하고 있다. 일각에서는 2026년 중고 명품시계 거래의 약 60%가 온라인에서 이뤄질 것이라는 전망마저 제기된다.

국내 기업 역시 중고명품 시장 공략에 속도를 내고 있다. '전문 명품 플랫폼'으로 출발한 트렌비는 최근 명품 중고거래 사업 확장에 심혈을 기울이고 있다. C2C 거래 특성상 발생하는 소비자 불안을 해소하기 위해 AI 정·가품 판단 시스템 '마르스'를 자체 개발하기도 했다. 이처럼 상품 품질 보장에 공을 들인 트렌비는 총 거래액 중 중고 명품 거래액을 30%까지 끌어올리는 데 성공했다. 명품 중고거래 시장이 하루가 다르게 성장하는 가운데, 크림이 팹을 앞세워 유의미한 궤적을 남길 수 있을지 주목된다.

캡 세트 문제의 새로운 하한선 제시한 딥마인드의 LLM
펀서치, 수학 함수 생성기 위에 판단·개선용 LLM을 쌓은 다층 구조 
인공지능의 가능성 넓혀, 수학자의 창의성 자극하는 '촉매제'

[해외DS]는 해외 유수의 데이터 사이언스 전문지들에서 전하는 업계 전문가들의 의견을 담았습니다. 저희 데이터 사이언스 경영 연구소 (GIAI R&D Korea)에서 영어 원문 공개 조건으로 콘텐츠 제휴가 진행 중입니다.

---

구글의 딥마인드는 대규모언어모델(LLM)을 사용해 인류의 가장 어려운 수학 문제 중 하나에 대한 새로운 해결책을 제시했다. 펀서치(Search for Mathematical Function, FunSearch)로 알려진 이 모델은 이른바 '캡 세트 문제'(Cap set Problem)에 대한 해결책을 발견한 것이다. 답이 있는 상태에서 수학 문제를 풀기 위해 LLM을 사용했던 이전의 실험들과는 확연히 대조적이다.

수십 년 동안 이어져 온 이 수수께끼는 점과 점 사이에 선을 그리면서 점 세 개가 직선을 이루지 않고 얼마나 많은 점을 연결할 수 있느냐를 묻는 극단적 조합론 문제다. 펀서치는 8차원에 걸쳐 512개의 점으로 구성된 솔루션을 만들어냈는데, 이는 지금까지 어떤 수학자가 해낸 것보다 큰 집합 규모다. 이 실험의 결과는 지난 14일 네이처(Nature) 저널에 게재됐다.

캡 세트 문제, "n개의 속성으로 식을 일반화하려면?"

캡 세트 문제는 1970년대에 유전학자 마샤 팔코가 개발한 게임에서 발전한 문제다. 앞서 언급한 대로 점을 연결하는 기하학적 문제기도 하지만 카드 조합 문제로도 풀어낼 수 있다. 기본적으로 덱(deck)에는 81장의 카드가 들어 있다. 각 카드에는 색상, 모양, 음영이 동일한 기호가 하나, 둘 또는 세 개씩 표시되며, 각 기호의 특징에 따라 세 가지 옵션이 존재한다. 이러한 가능성을 모두 합치면 3 × 3 × 3 × 3 = 81장의 덱이 만들어진다. 플레이어는 카드를 뒤집어 세 장의 카드에서 세트로 불리는 특별한 조합을 찾아내야 하는 방식이다.

수학자들은 뒤집힌 카드의 수가 21장 이상이면 플레이어가 세트를 찾을 수 있다는 것을 증명했다. 또한 5개 이상의 속성을 갖는 더 복잡한 버전의 게임에 대한 해결책도 찾아냈었다. 하지만 속성의 개수를 n개로 확장할 때 뒤집어야 하는 최소 카드 수는 알지 못했다. 즉 n개의 속성이 있고 n이 정수면 카드는 총 3ⁿ개지만, 해를 구하기 위해 공개해야 하는 최소 카드 수는 미스터리로 남아 있었다.

이산 기하학 관점으로 문제를 재정의하면 n 차원 공간에서 세 점의 특정 배열을 찾는 것과 같은 상황이다. 수학자들은 n이 주어졌을 때, 필요한 '테이블 위의 카드'의 수가 한 공식이 주는 수보다 크고 다른 공식이 주는 수보다 작아야 한다는 것을 발견함으로써 일반적인 해의 가능성에 대한 경계를 정할 수 있었다.

펀서치는 게임의 모든 요구 사항을 충족하는 카드 세트를 생성하여 새로운 하한(lower bound) n = 8을 찾아냈다. 딥마인드의 컴퓨터과학자 알프세인 파우지(Alfsein Fauzi)는 "더 이상 개선할 수 없다는 것을 증명한 것은 아니지만, 기존에 알려진 것보다 더 나은 결괏값을 얻었다"고 강조했다.

펀서치의 문제 해결 과정과 수학자와의 협업 방식

딥마인드 연구팀은 캡 세트 문제를 파이썬(프로그래밍 언어) 코드로 작성했는데 문제를 해결하는 방법을 명시하지 않은 상태로 펀서치에 입력했다. 펀서치는 두 가지 LLM으로 구성되어 있으며 문제가 담긴 코드는 먼저 구글의 건강관리 모델인 PaLM 2를 기반으로 만든 코디(codey)로 전송된다. 코디는 코드를 생성하여 해결책을 제안하는 역할을 수행한다. 그런 다음 제안된 해결책은 '평가자' 역할을 담당하는 LLM으로 전달되어 환각 증상이 의심되는 코드는 반려하고 정확성이 높은 코드는 저장하는 과정을 거친다. 또한 펀서치에는 가장 우수한 프로그램을 개발할 때까지 기존 코드를 지속적으로 업데이트하는 '자체 개선 루프'가 탑재돼 있다.

딥마인드의 컴퓨터과학자 베르나르디노 로메라-파레데스(Bernardino Romera-Paredes)는 "LLM이 생성하는 모든 프로그램이 유용한 것은 아니며, 종종 실행조차 할 수 없는 프로그램을 제안하는 경우도 있었다"고 전했다. 하지만 펀서치는 잘못된 프로그램을 빠르게 제거하고 올바른 프로그램을 찾아서 갱신하는 장점이 있다고 설명했다.

하지만 LLM은 여전히 결괏값을 설명하거나 이해하는 데 능숙하지 않다. 펀서치는 수학적 함수를 생성하고 검증할 수는 있지만, 그 이면의 논리나 직관은 제공하지 못한다. 다만 연구진은 수학자들이 펀서치가 발견한 코드를 살펴보고 수학적 인사이트를 추출한 후, 이를 펀서치에 대한 입력을 개선하는 데 사용하면 결과가 훨씬 더 개선됐다고 밝혔다. 아울러 공동 저자인 위스콘신대학교 매디슨 캠퍼스의 수학자 조던 엘렌버그(Jordan Ellenberg)는 "펀서치의 중요 특징 중 하나는 사람들이 LLM이 만든 프로그램을 통해 배울 수 있게 된 점이다"고 말했다. 그는 인간과 기계의 새로운 협업 방식을 모델링하는 것에 흥미를 느낀다고 덧붙였다. 이번 연구는 수학과 같은 순수학문의 발전을 돕는 용도로 LLM을 사용할 수 있다는 것에 큰 진전이 있는 연구 결과라고 사료된다.

---

AI Beats Humans on Unsolved Math Problem

Large language model does better than human mathematicians trying to solve combinatorics problems inspired by the card game Set

The card game Set has long inspired mathematicians to create interesting problems.

Now, a technique based on large language models (LLMs) is showing that artificial intelligence (AI) can help mathematicians to generate new solutions.

The AI system, called FunSearch, made progress on Set-inspired problems in combinatorics, a field of mathematics that studies how to count the possible arrangements of sets containing finitely many objects. But its inventors say that the method, described in Nature on 14 December¹, could be applied to a variety of questions in maths and computer science.

“This is the first time anyone has shown that an LLM-based system can go beyond what was known by mathematicians and computer scientists,” says Pushmeet Kohli, a computer scientist who heads the AI for Science team at Google Deepmind in London. “It’s not just novel, it’s more effective than anything else that exists today.”

This is in contrast to previous experiments, in which researchers have used LLMs to solve maths problems with known solutions, says Kohli.

MATHEMATICAL CHATBOT

FunSearch automatically creates requests for a specially trained LLM, asking it to write short computer programs that can generate solutions to a particular mathematical problem. The system then checks quickly to see whether those solutions are better than known ones. If not, it provides feedback to the LLM so that it can improve at the next round.

“The way we use the LLM is as a creativity engine,” says DeepMind computer scientist Bernardino Romera-Paredes. Not all programs that the LLM generates are useful, and some are so incorrect that they wouldn’t even be able to run, he says. But another program can quickly toss the incorrect ones away and test the output of the correct ones.

The team tested FunSearch on the ‘cap set problem’. This evolved out of the game Set, which was invented in the 1970s by geneticist Marsha Falco. The Set deck contains 81 cards. Each card displays one, two or three symbols that are identical in colour, shape and shading — and, for each of these features, there are three possible options. Together, these possibilities add up to 3 × 3 × 3 × 3 = 81. Players have to turn over the cards and spot special combinations of three cards called sets.

Mathematicians have shown that players are guaranteed to find a set if the number of upturned cards is at least 21. They have also found solutions for more-complex versions of the game, in which abstract versions of the cards have five or more properties. But some mysteries remain. For example, if there are n properties, where n is any whole number, then there are 3ⁿ possible cards — but the minimum number of cards that must be revealed to guarantee a solution is unknown.

This problem can be expressed in terms of discrete geometry. There, it is equivalent to finding certain arrangements of three points in an n-dimensional space. Mathematicians have been able to put bounds on the possible general solution — given n, they have found that the required number of ‘cards on the table’ must be greater than that given by a certain formula, but smaller than that given by another.

HUMAN–MACHINE COLLABORATION

FunSearch was able to improve on the lower bound for n = 8 by generating sets of cards that satisfy all the requirements of the game. “We don’t prove that we cannot improve over that, but we do get a construction that goes beyond what was known before,” says DeepMind computer scientist Alhussein Fawzi.

One important feature of FunSearch is that people can see the successful programs created by the LLM and learn from them, says co-author Jordan Ellenberg, a mathematician at the University of Wisconsin–Madison. This sets the technique apart from other applications, in which the AI is a black box.

“What’s most exciting to me is modelling new modes of human–machine collaboration,” Ellenberg adds. “I don’t look to use these as a replacement for human mathematicians, but as a force multiplier.”

NYT “저작권 무단 활용 데이터 파기해야”
대화 통한 합의 기대했던 오픈AI는 ‘당혹’
AI 정보 습득 과정, 법적 한계 정의될까

미국 유력 매체 뉴욕타임스(NYT)가 오픈AI와 마이크로소프트(MS)를 상대로 소송을 제기했다. 오픈AI가 개발한 생성형 인공지능(AI) 챗GPT가 자사의 저작권을 침해했다는 이유에서다. 생성형 AI의 학습 정보 출처와 관련해 전 세계 언론사와 창작자들이 저작권 강화를 강조하는 가운데서 시작된 NYT와 오픈AI의 법정 공방에 많은 이목이 쏠리고 있다.

“기사 무단 사용으로 수십억 달러 손해 발생”

27일(현지 시각) AFP통신과 로이터통신 등 다수의 현지 매체에 따르면 NYT는 이날 미국 뉴욕 맨해튼 연방법원에 소장을 내고 “오픈AI와 MS는 자사의 저널리즘에 대한 일체의 투자나 보상도 없이 대체 제품을 만드는 데 이용하는 등 ‘무임승차’하려 한다”고 밝혔다. NYT의 기사 수백만 건이 챗GPT 훈련에 무단으로 사용됐다는 지적이다.

NYT는 오픈AI와 MS의 무단 복제와 사용으로 인해 수십억 달러의 손해가 발생한 만큼 두 회사가 이를 보상하고, 자사의 저작권을 무단 활용한 챗봇 모델과 훈련 데이터를 파기해야 한다고 주장했다. 다만 구체적인 손해배상 규모는 밝히지 않았다. NYT는 이어 “독립 저널리즘의 생산과 보호를 게을리한다면, 언젠가는 컴퓨터와 AI가 채울 수 없는 공백이 생길 것”이라며 “저널리즘이 축소되면 결국 막대한 사회적 비용으로 이어진다”고 경고하기도 했다.

이에 오픈AI 측은 당혹스럽다는 입장을 내놨다. 지난 4월 챗GPT와 관련한 저작권 문제로 NYT와 협상을 하다가 결렬된 바 있지만, 추후 대화의 가능성을 열어둔 만큼 양측이 원만한 합의점에 도달할 수 있을 것이라 예상했기 때문이다. 린지 헬드 오픈AI 대변인은 “NYT와의 대화가 건설적으로 진행되고 있다고 믿었는데, 갑작스러운 소송 제기는 매우 실망스럽다”고 밝혔다. 이어 “오픈AI는 콘텐츠 제작자들의 모든 권리를 존중하며, AI 기술을 비롯한 새로운 수익 모델에서 창작자들이 이익을 얻을 수 있도록 협력할 준비가 돼 있다”고 말했다.

실제로 오픈AI는 미국을 비롯한 전 세계 언론사들과 저작권 관련 계약을 활발히 전개 중이다. 지난 7월 AP통신과의 라이선스 계약을 체결하며 언론사와의 동행을 시작한 오픈AI는 같은 달 지역 언론 지원 기관인 아메리칸 저널리즘 프로젝트와 500만 달러(약 64억3,250만원) 규모의 계약을 체결했고, 최근에는 다국적 미디어 그룹 악셀스프링어와 뉴스 사용 계약을 맺었다. 악셀스프링어는 독일 최대 일간지 빌트를 비롯해 정치 전문매체 폴리티코, 미국 경제 전문 인터넷신문 비즈니스인사이더 등을 보유한 미디어 그룹이다.

한편 MS는 이번 피소와 관련해 별도의 입장을 밝히지 않고 있다. 오픈AI의 최대 투자자기도 한 MS는 올해 출시한 AI 비서 코파일럿을 비롯한 다수의 자사 제품에 챗GPT 기술을 적용 중이다.

언론-AI 관계 재정립 초읽기

그동안 언론계에서는 오픈AI를 비롯한 다수의 생성형 AI 개발사들이 AI 모델 학습에 뉴스 콘텐츠를 동의 없이 무단 사용하고 있다는 점에 깊은 우려를 표시해 왔다. 실제로 한국과 미국을 비롯한 대다수 국가에서는 창작성이 있는 기사를 저작권법이 보호하는 저작물로 인정하고 있으며, 이를 창작자의 동의 없이 영리 목적으로 활용하는 것을 엄격히 금하고 있다.

다만 개방된 온라인 공간에서 접할 수 있는 출판물은 ‘공정이용’ 조항에 따라 AI 기술을 훈련하는 데 사용할 수 있다는 AI 개발사들의 반론도 만만치 않다. 공정이용이란 창작자의 허가 없이도 제한적 범위 내에서 저작물을 이용하는 권리를 의미한다. 도서나 논문 등 출판물이 학술연구나 평론에 활용되는 것이 공정이용의 대표적 예다.

업계에서는 이번 NYT와 오픈AI·MS의 법정 공방이 생성형 AI의 정보 습득 과정에 어떤 법적 한계가 있는지를 명확히 하고, 나아가 언론 산업과 AI의 관계 재정립에 중요한 가늠자가 될 것으로 전망했다. NYT는 “우리가 발행한 기사들은 NYT가 연간 수억 달러의 비용을 투입해 고용한 언론인들이 만들어낸 ‘작품’”이라고 강조하며 “이번 소송을 통해 AI의 학습에 사용된 텍스트와 이미지 등 대규모 데이터에 대한 법적 내용을 분명히 할 것”이라고 밝혔다. NYT가 유료 구독형 온라인 저널리즘으로 성공적인 비즈니스 모델을 구축한 대표적 매체로 꼽히는 만큼 이같은 행보는 향후 뉴스 산업에 막대한 영향을 미칠 전망이다.

아트 커머스 플랫폼 '난트' 운영사, 두 번째 투자 유치 성공
곳곳에서 '예술품' 공급 증가, 더 이상 고급 취미 아니다?
투자 시장 잡아먹느냐 AI에 먹히느냐, 엇갈리는 미래 전망

아트 커머스 플랫폼 '난트(NANT)'를 운영하는 콜론30이 씨엔티테크에서 투자를 유치했다고 28일 밝혔다. 2021년 프라이머에서 시드 투자를 유치한 후 두 번째 투자유치에 성공한 것이다. 아트 커머스의 인기가 점차 벤처 업계에서 존재감을 드러내는 가운데, 시장에서는 관련 사업에 대한 '엇갈린 전망'이 제시되고 있다.

큐레이션·1차 판매·리세일 통합, 아트 플랫폼 '난트'

난트는 작가의 작품 직접 판매가 이뤄지는 1차 시장, 예술품 컬렉터 사이 소장품 재판매(리세일) 시장을 통합한 아트 플랫폼이다. 2022년 서비스 오픈 이후 현재까지 2만5,000여 명의 아트 팬덤과 이머징 아티스트 450명의 작품 1,800여 점을 확보했다. 이에 더해 소셜 미디어를 통해 '난트 매거진'을 운영, 문화·예술·럭셔리 트렌드 및 국내외 예술 시장과 관련한 큐레이션도 진행하고 있다.

난트는 플랫폼 내 판매작에 대한 컨디션 체크, 진위 검증, 작품 보증서 확인 및 발급 등 거래 과정 전반을 지원하고 있다. 1차 시장과 리세일 시장이 통합됐다는 특징을 활용, 작가가 난트에서 판매한 작품이 다시 난트에서 재판매될 경우 작가에게 재판매 금액의 3%를 리워드로 지급하기도 한다. 50만원에 판매했던 작품이 500만원으로 재판매될 경우, 500만원의 3%인 15만원의 재판매 리워드가 작가에게 지급되는 방식이다.

박지연 콜론30 대표는 "이번 투자를 통해 아티스트의 작품을 기반으로 한 큐레이션 콘텐츠와 컬렉터를 위한 콘텐츠 생산을 본격화할 예정"이라며 "잠재력 있는 이머징 작가들을 발굴할 뿐 아니라 본격적으로 아트 리세일 시장까지 확대해 모두가 함께할 수 있는 예술 비즈니스를 극대화하겠다"고 밝혔다.

벤처부터 유통 업계까지, 고개 드는 '아트 커머스'

최근 예술품 거래 및 투자 시장은 각 업계에서 점차 존재감을 드러내고 있다. 관련 분야 사업을 영위하는 벤처기업도 속속 등장하는 추세다. 일례로 예술 커머스 플랫폼 스타트업 아트라미(ARTRAMI)는 온라인 예술 편집숍 ‘뚜누(Tounou)’를 운영하고 있다. 뚜누는 그림, 사진 등 시각 아티스트의 예술 작품을 일상 제품에 활용·판매하고, 판매 수익을 아티스트와 공유하는 서비스다. 커머스 형태로 수익을 창출하며 예술가들이 작품 활동을 이어갈 수 있는 기본적인 발판을 제공한다.

유통 업계에서도 '아트 커머스' 관련 시도를 찾아볼 수 있다. 백화점 등 고소득층 대상 업계를 넘어 대형마트, 이커머스 등까지 예술품 공급이 확대되는 양상이다. 지난 9월 롯데마트는 송파점 2층에서 특별 전시를 진행, 300여 점의 작품을 공개했다. 롯데마트에서 열린 최초의 미술 전시회다. 전시작의 가격은 비교적 낮은 수준인 50만~300만원 선에서 책정됐다. 마트 방문 고객의 평균적인 소득 수준을 고려해 진입 장벽을 낮추는 데 집중한 것으로 풀이된다.

SSG닷컴도 지난해 5월 전문관을 열고 3만여 종에 달하는 아트 상품을 확보했으며, 이를 기반으로 지난 9월 온라인 전시회 ‘아트앤크래프트(Art&Craft)’를 진행하기도 했다. 소비자가 온라인 사이트를 통해 공개된 작품들을 자유롭게 감상·구매할 수 있는 구조다. 해당 행사에서는 500여 종에 달하는 원화와 한정판 판화, 공예품이 공개됐다. △‘리움 스토어’ 여섯 작가전 컬렉션 △갤러리 ‘아르띠앙서울’의 원화 △한국문화재재단 등의 미술품 굿즈도 입점했다.

괜찮은 투자 상품인가, AI의 먹잇감인가

현재 업계에서는 아트 커머스가 차후 '조각투자'와 시너지를 내며 빠르게 성장할 것이라는 장밋빛 전망이 힘을 얻고 있다. 금융위원회가 올해 2월 ‘토큰증권 발행·유통 규율체계 정비 방안’을 발표한 이후, 미술품 조각투자 시장이 본격적으로 기지개를 켜고 있기 때문이다. 이런 가운데 지난달 29일 미술품 조각투자 앱 ‘소투’를 운영하는 서울옥션블루는 28일 미술품 투자계약증권의 증권신고서를 금융감독원에 제출했다. 기초자산 작품은 앤디 워홀(Andy Warhol)의 ‘달러 사인(Dollar Sign)’이었다. 같은 달 미술품 조각투자 스타트업 ‘열매컴퍼니' 역시 야요이 쿠사마의 작품 ‘펌킨’ 조각투자 증권신고서를 재제출했다.

반면 일각에서는 아트 커머스 시장의 미래 전망이 그다지 밝지 않을 것이라는 지적도 제기된다. 생성 AI의 가파른 성장세에 밀려 시장 전반이 추진력을 잃을 것이라는 분석이다. 실제 AI 이미지 생성 서비스는 엄청난 속도로 발전하고 있다. 이용자가 텍스트를 입력하면 이에 맞춰 적합한 이미지를 생성해 주는 식이다. 이미지의 주제는 물론 화풍까지도 이용자가 직접 선택할 수 있다. 굳이 돈을 들여 작품을 구매하지 않더라도 얼마든 '직접' 원하는 예술 작품을 만들 수 있는 시대가 도래한 셈이다.

지난 10월에는 AI가 원작자 동의 없이 다른 작가의 그림을 학습했더라도 저작권 침해로 보기 어렵다는 미국 법원의 판결이 나오기도 했다. 당시 캘리포니아 북부 지방법원은 켈리 매커넌, 칼라 오티즈, 사라 앤더슨 등 3명의 예술가가 생성형 AI 기반 이미지 생성 서비스 전문 스타트업인 스태빌리티AI·미드저니·데비안아트에 제기한 저작권 침해 소송을 기각했다. AI가 생성한 이미지가 원본 작품을 직접 참조한 것임을 증명할 수 없다고 판단한 것이다. 사실상 아트 커머스 업계에는 치명적인 판례다.

이처럼 아트 커머스에 대한 업계 전망은 치열하게 엇갈리는 추세다. 현시점에 아트 커머스는 예술 작품의 가치를 앞세워 훌륭한 투자 수단으로 등극할 수도 있고, 생성 AI 열풍의 또 다른 희생양이 될 수도 있는 불투명한 시장이다. 시장의 미래가 언제든 뒤집힐 수 있는 아슬아슬한 상황 속, 투자 유치에 성공한 난트는 과연 시장 분위기를 뒤집을 수 있을까.

동의의결 실패한 카카오모빌리티, 경쟁사 '콜 차단' 혐의 못 벗었다
차후 공정거래위원회 심의 본격화 예정, 또다시 '법적 공방'
'콜 몰아주기' 검찰 고발에 공정위 심의까지, 겹악재 터져

공정거래위원회가 카카오모빌리티의 '콜 차단' 관련 동의의결 신청을 기각했다. 카카오의 시정방안이 동의의결 절차 개시 요건을 충족하지 못한다고 판단한 것이다. 100억원 규모 자진 시정방안을 앞세우며 '원만한 해결'을 기대하던 카카오모빌리티는 결국 차후 제재 수위에 대한 법적 공방을 이어가게 됐다. 이미 콜 몰아주기 논란 및 검찰 고발로 막심한 타격을 입은 가운데, 또다시 무시할 수 없는 악재가 발생한 것이다.

카카오모빌리티, '콜 차단' 혐의 동의의결 신청

앞서 카카오모빌리티는 '콜 차단' 혐의로 공정위 조사를 받은 바 있다. 경쟁 택시 플랫폼 우티(UT), 타다 가맹본부가 영업비밀 제공을 요구하는 제휴 계약 체결 요구에 불응하자, 소속 택시 기사들에 대한 카카오택시 애플리케이션(앱) 일반호출 서비스를 일방적으로 중단한 혐의다. 카카오모빌리티의 택시 호출앱 시장 점유율이 95%에 달한다는 점을 고려하면 경쟁사 가맹 택시 기사들은 콜 차단 이후 치명적인 피해를 입었을 가능성이 크다.

공정위는 플랫폼 시장의 특성 및 카카오모빌리티의 영향력을 고려, 카카오모빌리티가 경쟁사 가맹 택시를 서비스에서 배제한 것은 공정거래법상 진입 제한 또는 경쟁 사업자 배제 행위에 해당한다고 판단했다. 이후 공정위는 카카오모빌리티 측에 과징금 부과 조치와 검찰 고발 내용이 담긴 심사 보고서를 보냈고, 카카오모빌리티는 10월 19일 공정위에 동의의결 절차 개시를 신청하며 자진 시정방안을 제시했다.

동의의결제도는 사업자가 타당한 시정방안을 제안하면 경쟁당국이 이해관계자 등의 의견 수렴 등을 거쳐 타당성을 판단, 위법 여부를 확정하지 않고 사건을 신속하게 종결하는 제도다. 카카오의 시정방안에는 우티 소속 택시 기사에게 일반호출을 제공하고, 경쟁사 가맹 택시 기사라는 이유로 콜을 중단하는 행위를 금지하겠다는 내용이 담겼다. 이 밖에도 △경쟁사 가맹 본부와 제휴 계약 체결 등을 통한 거래 질서 개선 △영업비밀 등의 정보 수신 금지 △100억원 규모 택시단체 성장 지원 등이 시정방안에 포함된 것으로 확인됐다.

동의의결안 기각, 카카오모빌리티 '사면초가'

하지만 공정위는 카카오모빌리티의 동의의결 절차를 개시하지 않기로 결정했다. 사실상 카카오모빌리티가 제시한 시정방안이 '기각'된 것이다. 이에 따라 향후 공정위는 사건 심의를 거쳐 카카오모빌리티의 위법 여부 및 제재 수준을 최종 결정할 예정이다. 카카오모빌리티 관계자는 “법적 판단을 다투기보다는 사건을 조기에 매듭짓고 가맹 택시 기사들의 혼란을 최소화하고자 동의의결안을 마련했으나, 받아들여지지 못해 안타깝다”는 입장을 밝혔다.

이번 동의의결안이 기각되며 카카오모빌리티는 사면초가의 위기에 봉착하게 됐다. 아직 '콜 차단' 이전 발생했던 '콜 몰아주기' 관련 혐의를 벗지 못했기 때문이다. 공정위는 앞서 지난 6월 카카오모빌리티가 배차 알고리즘을 조작해 자회사 가맹 택시인 '카카오T 블루'에만 콜을 몰아줬다고 판단, 시정명령과 과징금 271억2,000만원 처분을 확정한 바 있다. 이에 불복한 카카오모빌리티는 지난 7월 행정소송과 시정명령에 대한 가처분 소송에 착수한 상태다.

이후 지난 19일, 중소벤처기업부는 의무 고발 요청 심의위원회를 열고 카카오모빌리티를 검찰에 고발하기로 결정했다. 콜 몰아주기가 공정위의 과징금 부과로만 끝낼 수 없는 중대한 문제라고 판단한 것이다. 중기부는 법 위반 행위로 공정한 경쟁 질서를 해치고, 전국 비가맹 택시 수입에 막대한 피해를 준 점을 고려해 카카오모빌리티에 대한 고발 요청을 결정했다고 설명했다. 플랫폼 지배력 악용에 대한 정부의 전방위적 압박이 지속되는 가운데, 카카오모빌리티의 미래 전망에는 본격적인 '먹구름'이 드리우고 있다.