Cleo(수학자)

페이지에는 Reddit 사용자 “evilscientist311”이 2023년 말 Cleo의 활동 패턴과 다른 Stack Exchange 계정과의 상호작용을 종합적으로 분석했다고 적혀 있음. 하지만 나를 비롯한 여러 사람은 적어도 2023년 4월부터 단서를 추적하고 있었음.
예를 들어 이 글을 보면 됨: https://x.com/TheDavidSJ/status/1650957407902658571.

Cleo 계정의 활동과 대형 AI 기업들이 최근 미해결 정리의 증명을 다루는 방식 사이에는 흥미로운 공통점이 있음. 답 자체도 가치가 있겠지만, 어떤 이들에게는 문제에서 해답에 이르는 과정을 이해하는 것이 가치의 핵심임.
수학자는 아니지만, 전산학 수업에서 손으로 증명을 따라가고 알고리즘의 작동을 수학적으로 증명할 수 있어도, 왜 작동하는지 또는 어떻게 고안하고 유도했는지는 이해하지 못한 듯한 느낌을 받은 적이 있음. 반면 작동한다는 사실만으로 충분한 사람도 많음.

Joe McCann과 시청자들이 알아낸 바로는, Cleo는 수학 포럼을 일부러 자극해 더 유용한 증명이 나오도록 참여를 유도하려는 장치였음. 현실에서 벌인 커닝햄의 법칙 사회 실험인 셈임.
그렇다면 OpenAI의 황당한 수학 접근법도 우리를 자극해 증명을 검토하거나 더 나은 증명을 만들게 한다는 가치는 있을지도 모름!

내년에 AI가 인간에게 증명을 알기 쉽게 설명하는 능력에서도 초인적 수준에 도달하면, 그때는 또 평가 기준을 어디로 옮길 건가?

가치의 전부가 바로 그 이해에 있음. 여전히 많은 사람이 부정하지만, “AI”는 결국 자연어 검색 엔진일 뿐임. 인간이 이미 써 놓았거나 기존 작업에서 사실상 자명하게 도출되는 내용을 정리해 주는 도구임.
이런 반지성주의의 길을 계속 걸으며 증명이 왜 성립하는지에 관심을 끊는다면, 사실상 또 다른 암흑시대에 들어서는 셈임.
AI가 직관을 기르는 데 전혀 도움이 안 된다는 뜻은 아님. 하지만 충동적으로 떠오른 엉터리 답을 먼저 외치려고 손부터 드는 이들이 너무 많고, 이제는 그만하고 앉으라고 해야 함. 통제되지 않는 ADHD가 모든 걸 망치고 있음. 생각 없이 답 계산을 서두르는 데 지능적이라고 할 만한 것은 없으며, 다른 이들에게 지난 몇 년은 딱 그런 느낌이었음.

이해의 목적은 새로운 것을 더 잘 증명하는 데 있음. 이제 증명에서 인간의 역할이 쓸모없어졌으니 인간의 이해도 불필요함.

39개 답변 중 가짜 계정이 올린 것으로 의심되지 않는 질문에 달린 답변도 있었나?
그렇다고 해법이 반드시 덜 인상적이 되는 것은 아니지만, Wikipedia 요약에서 빠뜨리기에는 꽤 관련성 높은 세부사항임.

그렇다면 해법도 덜 인상적이 되는 것 아닌가? 적분을 구하는 것보다 적분을 거꾸로 구성하는 것이 훨씬 쉽기 때문임. 여기서 더 인상적인 부분은 답이 깔끔하면서 컴퓨터 대수 시스템으로는 풀리지 않는 문제를 만들고, 처음부터 답을 알고 있었다는 사실을 가짜 계정으로 감춘 수법임.

흥미로운 이야깃거리인 것은 인정하지만, Cleo를 수학자라고 부르기는 어려움. 게다가 문제도 Cleo 본인이 올린 것 아닌가?

오라클 문제로 보면 됨. 유도 과정 없이 정확한 닫힌형식의 답만 올려서, 커뮤니티가 실제 알고리즘으로 이어지는 연결고리를 만들도록 강제한 셈임. 공들인 트롤링이었지만 결과는 한 수 위였음.

Wikipedia에 따르면 그는 2000년대 초 고국인 Uzbekistan을 떠나 이민을 갔다고 함. 목적지는 어디였을까? 거의 누구나 미국을 먼저 떠올릴 테고, 실제로도 미국이었음. 이런 천재들이 가장 먼저 찾는 목적지라는 것은 미국에 엄청난 이득임!
그런데 이제는 대체 무슨 일을 해 놓은 건가? 지금 그가 미국에 오고 싶어 한다면 입국을 허용받을 수나 있을까?