OpenAI's feud with mathematicians is only escalating

🖼️ 인포그래픽

🖼️ 4컷 인포그래픽

💡 한 줄 요약

OpenAI와 수학계의 갈등이 커지는 가운데, 필즈상 수상자 25명은 AI 연구소의 증명 경쟁이 기여 인정과 공개 연구 문화를 위협하며 수학의 가치는 검증·이해·지식 전승까지 포함한다고 경고했다.

📌 핵심 요약

• 필즈상 수상자 25명이 공개서한에 서명해, 유명 수학 문제의 해법을 앞다퉈 발표하는 AI 연구소들이 수학자들의 지적 작업을 위협한다고 주장했다.
• NYU 교수 Tristan Buckmaster는 OpenAI가 Anthropic 소속 공동연구자의 기여를 인정하지 않도록 압박했다고 주장했으며, 자신들이 Codex로 수행한 작업이 OpenAI의 자체 증명에 사용됐을 가능성을 제기했다.
• OpenAI는 CalTech 연구자들의 비판을 받은 뒤 목요일에 해당 대학 수학 행사 후원을 철회했다. 기사 작성 시점에 OpenAI가 발표한 증명은 검증되지 않은 상태였다.
• 서명자들은 성급한 해법 발표가 충분한 설명, 새로운 방법과 아이디어의 정리, 선행 연구 인용을 방해한다고 지적했다. 기사는 AI 연구소가 수천만 달러를 투입해 원래 연구자보다 먼저 증명을 완성할 수 있는 경쟁 구도가 공개 연구를 위축시키고 비밀주의를 유도할 수 있다고 설명했다.
• 이번 서한은 6월 수학자 작업반이 발표한 Leiden Declaration에 이어 나왔다. 서명자들은 AI의 수학적 성과가 인류에 도움이 되려면 공동체의 이해와 소통이 필요하며, 학생 양성·새로운 질문 발굴·지식 전승이라는 수학의 목적을 지켜야 한다고 강조했다.

🧩 주요 포인트

1. 기여 인정 압박 주장과 미검증 증명 → AI의 성과를 평가할 때 발표 속도뿐 아니라 공로 배분과 검증 상태가 핵심 쟁점으로 부상.
2. Codex 작업 활용 의혹과 수천만 달러 규모의 증명 경쟁 → 연구자가 아이디어를 공개하고 AI 도구를 사용하는 데 대한 신뢰가 흔들릴 가능성.
3. Leiden Declaration과 공개서한의 연속된 문제 제기 → 수학의 성과를 개별 증명에서 학생 양성·이해·지식 전승까지 넓혀 평가할 필요성 제시.

🧠 상세 정리

1. 필즈상 수상자 25명의 공동 경고

기사는 필즈상 수상자 25명이 공개서한에 서명하며 OpenAI와 수학계의 갈등이 확대되고 있다고 전한다. 수학계에서 가장 권위 있는 상으로 여겨지는 필즈상을 받은 이들은, AI 연구소들이 유명 수학 문제의 해법으로 서로 앞서려는 과정에서 수학자의 지적 작업을 위협한다고 주장했다. 서한은 AI가 미해결 수학 문제를 푸는 능력이 인류에 도움이 될 가능성을 인정하면서도, 그 성과가 수학 공동체와 궁극적으로 더 넓은 사회에 이해되고 전달되어야 한다는 조건을 제시한다. 논쟁의 중심에는 정답을 내는 능력과 함께 그 결과를 공동의 지식으로 발전시키는 과정의 가치가 놓여 있다.

2. 공동연구자 기여 인정 논란과 후원 철회

기사에 따르면 NYU 교수 Tristan Buckmaster는 그 주 OpenAI가 중요한 수학 문제 해결에 참여한 Anthropic 소속 공동연구자의 기여를 인정하지 않도록 자신을 압박했다고 주장했다. 그는 자신들이 Codex를 활용해 수행한 작업이 OpenAI가 주말 내내 장시간 추론을 진행해 만든 자체 증명에 이용됐을 가능성도 제기했다. 이 대목은 Buckmaster의 주장과 의문으로 제시되며, 실제 작업 활용 여부가 확인됐다고 서술되지는 않는다. 이어 OpenAI는 CalTech 연구자들의 비판을 받은 뒤 목요일에 해당 대학 수학 행사 후원을 철회했고, 기사는 이를 갈등이 커지는 또 다른 사건으로 소개한다.

3. 성급한 발표와 검증·인용의 문제

공개서한은 AI가 만든 해법이 서둘러 발표되는 경우가 많아, 제대로 된 설명을 작성하고 새로운 방법과 아이디어를 추려내며 관련 선행 연구를 인용할 시간이 부족하다고 지적한다. 기사 작성 시점에도 OpenAI의 증명은 검증되지 않은 상태였으며, 이는 발표된 성과와 공동체가 확인한 지식 사이에 남은 간격을 보여준다. 서명자들은 이러한 발표 방식이 다른 창작 분야에서와 마찬가지로 심각한 기여 인정과 표절 문제를 제기한다고 주장한다. 또한 수학자가 자발적으로 아이디어를 발전시키고 수학의 지식 체계에 통합하지 않으면, AI가 고안한 아이디어가 충분히 살아 있는 지식이 되기 어렵고 수학자 사이의 인간적 전승 고리도 사라질 수 있다고 경고한다.

4. 자금 격차가 공개 연구에 미치는 영향

기사는 다른 수학자들도 자신의 Codex 사용 내용이 OpenAI의 새로운 모델에 들어갔는지 의심하면서 공개 연구 문화에 대한 두려움이 커지고 있다고 전한다. 이 역시 연구자들의 우려를 설명하는 대목으로, 실제로 해당 내용이 모델에 사용됐다는 확인을 제공하지는 않는다. 기사가 제시하는 구조적 문제는 선도 AI 연구소가 발견으로 이어질 유망한 경로를 보면 대규모 언어 모델에 수천만 달러를 투입해 원래 연구자보다 먼저 증명에 도달할 수 있다는 점이다. 이런 경쟁 구도에서는 연구 내용을 공유하는 일이 성과를 선점당할 위험으로 받아들여질 수 있어, 기사는 비밀주의를 부추기고 개방적인 연구를 위협할 수 있다고 설명한다.

5. Leiden Declaration과 수학의 더 넓은 가치

이번 공개서한에 앞서 수학자 작업반은 6월 Leiden Declaration을 발표해 대규모 언어 모델의 증명이 수학자의 작업을 어떻게 바꿀지 다뤘다. 이 문서는 수학자와 기관, 정책 입안자를 위한 권고를 제시했지만, 기사는 개별 권고의 구체적인 내용을 소개하지 않는다. 기사는 소프트웨어 공학 등 AI 도구가 작업 방식을 바꾸는 분야와 연결하며, 수학자들이 증명 자체를 둘러싼 활동에서도 일의 가치를 찾고 있다고 설명한다. 여기에는 학생을 길러내고 새로운 질문과 아이디어를 발견하며 이를 더 넓은 인류 문명에 통합하는 지적 기반이 포함되므로, 수학의 성과는 증명과 공로의 귀속을 넘어서는 의미를 갖는다.

6. 다른 과학·창작 분야로 이어지는 질문

기사는 치열한 수학 증명 경쟁에 관심이 없는 독자에게도 이 문제가 자신의 관심 분야로 이어질 수 있다고 경고하며 논의를 확장한다. 공개서한의 서명자들은 수학 공동체가 겪는 문제가 다른 과학 및 창작 직종이 마주한 문제와 유사하며, 인류 전체가 직면할 수 있는 쟁점을 드러낸다고 주장한다. 이들이 마지막으로 제시하는 질문은 AI가 일하는 방식을 바꾸는 동안 그 일이 애초에 이루려던 목적을 어떻게 놓치지 않을 것인가이다. 수학의 경우 앞서 언급한 이해와 소통, 학생 양성, 새로운 질문의 발견, 지식 전승이 그 목적을 구체화하며, 기사는 이러한 가치를 유지하는 일이 AI 성과의 의미와 연결된다는 주장으로 끝맺는다.

🧾 핵심 주장 / 시사점

• AI가 증명을 발표했다는 사실과 수학 공동체가 이를 검증하고 이해할 수 있다는 상태는 구분되며, 성과의 가치는 지식으로 통합되는 과정에 달려 있다는 관점이 제시된다.
• Codex 작업 활용 의혹이 확인되지 않았더라도, 연구자의 신뢰가 흔들리는 것 자체가 아이디어 공유와 공개 연구 문화에 영향을 줄 수 있다.
• 수학계의 문제 제기는 AI로 작업 속도가 빨라질 때 학생 양성과 지식 전승 같은 활동의 가치를 어떻게 유지할지에 관한 더 넓은 논의로 이어진다.

✅ 액션 아이템

• OpenAI의 증명에 대한 검증 상태와 공동연구자 기여 인정 주장의 확인 여부를 구분해 검토.
• Codex 작업 활용 의혹과 수천만 달러 규모의 증명 경쟁이 공개 연구에 미칠 영향 검토.
• Leiden Declaration과 공개서한을 학생 양성·이해·지식 전승이라는 수학의 목적을 중심으로 함께 검토.

❓ 열린 질문

• OpenAI의 미검증 증명과 공동연구자 기여 인정 논란은 각각 어떤 근거로 확인될 수 있는가?
• Codex 작업 활용 의혹과 수천만 달러 규모의 증명 경쟁은 연구자의 공개 연구 참여에 어떤 영향을 미칠까?
• AI의 수학적 성과를 평가할 때 학생 양성·이해·지식 전승의 가치를 어떻게 반영할 수 있을까?