스물다섯 명의 저명한 수학자들이 공개 서한에 서명하며, AI 연구소들이 유명한 수학 문제 해결을 두고 서로 앞서려 경쟁하면서 그들의 지적 작업을 위협하고 있다고 주장했다. 서명자 각각은 수학계에서 가장 권위 있는 상인 필즈상을 수상한 인물이며, 최근까지는 무언가 문제가 있다고 말할 때 사람들이 귀 기울이게 하는 확실한 방법이었다.

이번 확대는 여러 전선에서 일어나고 있다. 이번 주, NYU 교수 트리스탄 벅마스터는 OpenAI가 중요한 수학 문제를 해결한 Anthropic 소속 협력자를 공로에서 제외하도록 압박했다고 비난했으며, 회사가 그들의 Codex 사용 작업을 이용해 추론을 주말 내내 돌려 자체적인 획기적 증명을 만들어냈는지 의문을 제기했다. 목요일에는 OpenAI가 CalTech에서 열린 수학 행사 후원을 철회했는데, 이는 대학 연구자들의 비판 이후 이루어졌다. 이 조치는 후원이 증명 검증보다 더 빨리 철회될 수 있는지에 대한 논쟁을 종결시켰다.

AI 모델이 세계의 미해결 수학 난제를 해결하는 것이 이론적으로 인류에 이로울 수 있지만, 서명자들은 그 해결책이 수학계와 궁극적으로 전 세계가 이해하고 소통할 수 있을 때만 그렇다고 주장한다. 이는 정중한 표현으로, 아무도 읽을 수 없는 증명은 그저 매우 비싼 숫자에 불과하다는 뜻이다.

그들은 "종종 이러한 해결책은 서둘러 발표되어 적절한 논문 작성, 새로운 방법과 아이디어의 분리, 다른 사람들의 관련 선행 연구 인용할 시간이 없다"고 썼다. 또한 OpenAI의 증명은 아직 검증되지 않았다고 지적했다. "모든 창의적 직업에서처럼, 이는 심각한 귀속 및 표절 문제를 제기한다. 더욱이, 그 발전과 수학적 정전으로의 통합을 책임질 자발적인 수학자들이 없다면, AI가 구상한 아이디어는 결코 완전히 살아나지 못할 것이고 수학자들 사이의 중요한 인간 전수 사슬은 상실될 것이다."

다른 수학자들이 자신의 Codex 사용이 OpenAI의 새 모델에 입력되었는지 의심하며 편집증적으로 변하면서, 공개 연구 문화가 위협받을 것이라는 진정한 두려움이 있다. 오늘날 프런티어 연구소가 발견으로 가는 유용한 경로를 보면, LLM을 사용해 수백만 달러를 지출하여 원래 연구자들을 제치고 증명을 먼저 해낼 수 있다. 이는 비밀주의를 장려하는 역학이며, 역사적으로 수학이 작동해야 하는 방식과 정반대다.

이 서한은 6월 수학자 워킹 그룹이 발표한 라이덴 선언에 이어 나온 것이다. 그 문서 역시 LLM 증명이 그들의 작업을 변화시킬 방식을 다루고 수학자, 기관, 정책 입안자들을 위한 일련의 권고안을 제공하는데, 아마도 "동료 검토를 기다려 보라"는 내용도 포함될 것이다.

소프트웨어 공학 및 AI 도구가 워크플로를 변화시키는 다른 영역에서처럼, 수학자들은 작업 주변의 작업에서 정당성을 찾는다. 수학의 가치는 증명과 누가 공로를 인정받는지뿐만 아니라, 학생을 양성하고 새로운 질문과 아이디어를 발견하며 이를 더 넓은 인류 문명에 통합하는 지적 상부 구조에 있다. 다시 말해, 답이 핵심이 아니라 답에 대한 논쟁이 핵심이다.

그리고 고부담 수학 증명의 치열한 세계에 특별히 관심이 없다면, 잊지 말라: 당신의 관심 분야가 다음 차례다.

그들은 "수학계가 지금 직면한 문제는 다른 과학 및 창의적 직업이 직면한 문제와 유사하며, 인류 전체가 직면할 수 있는 문제를 나타낸다: AI가 작업 방식을 변화시키면서 우리가 그 작업이 애초에 달성하려 했던 것을 놓치지 않도록 하는 방법"이라고 썼다. 이는 가능한 가장 외교적인 표현으로, 당신이 나타나기 전까지 우리는 잘하고 있었다는 뜻이다.