For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/ko/articles/openai-math-release-backlash-ahm-statemen-ac66e132.md.
OpenAI가 2026년 10월 6일 발표한 수학 연구 결과는 최첨단 AI가 인간 공동체가 소화할 수 있는 속도보다 빠르게 연구를 생산하기 시작할 때 어떤 일이 벌어지는지에 대한 가장 날카로운 논쟁 중 하나를 촉발했습니다.
OpenAI가 2026년 10월 6일 발표한 수학 연구 결과는 최첨단 AI가 인간 공동체가 소화할 수 있는 속도보다 빠르게 연구를 생산하기 시작할 때 어떤 일이 벌어지는지에 대한 가장 날카로운 논쟁 중 하나를 촉발했습니다.
OpenAI는 내부 최첨단 모델이 생성한 수백 편의 수학 원고를 공개했습니다. 원고는 수학과 이론 컴퓨터 과학의 여러 분야를 포괄하며, 최초 저장소에는 372개 결과군으로 구성된 722개 원고가 포함되어 있었습니다.
이 공개는 즉시 큰 관심을 끌었습니다.
일부 수학자들은 발견 속도가 역사적으로 가속되는 순간이라고 평가했습니다.
반면 다른 수학자들은 인간 전문가들이 해당 결과를 이해하고, 검증하고, 맥락화하고, 설명할 충분한 시간을 갖기 전에 수백 개의 어려운 논증이 공개된 점을 우려했습니다.
가장 강력하게 조직된 비판은 **Association for Human Mathematics(AHM)**에서 나왔습니다. AHM은 10월 7일 성명을 내고 수학자들에게 OpenAI와의 협력을 중단할 것을 촉구했으며, 인간의 이해를 중심에 둔 과학의 비전을 요구했습니다.
테런스 타오는 이 성명을 자신의 수학 블로그에 게스트 게시물로 재게시해 더 널리 알렸습니다.
이 세부 사항은 중요합니다.
타오는 AHM 성명의 작성자가 아니며, 공개된 AHM 성명에는 조직의 커뮤니케이션 워킹 그룹이 서명했습니다. 타오의 블로그에도 이 글이 AHM 자체 성명 페이지에서 재게시한 게스트 게시물이라고 명시되어 있습니다.
따라서 이 사건을 “테런스 타오가 수학자들을 이끌고 OpenAI에 선전포고를 했다”고 요약하는 것은 정확하지 않습니다.
더 정확한 설명은 다음과 같습니다.
AHM은 OpenAI의 공개 방식에 반대하는 강한 어조의 성명을 발표했고, 타오는 이를 재게시해 더 많은 사람에게 알렸습니다.
AHM의 성명은 짧지만, 입장은 이례적으로 직접적입니다.
이 단체는 OpenAI가 AI가 생성한 수학을 대규모로 공개한 방식이 기존 과학 규범 및 독립 기관인 **수학·인공지능 자문 그룹(Advisory Group on Mathematics and Artificial Intelligence, AGMAI)**이 앞서 제시한 권고와 충돌한다고 주장합니다.
AHM의 핵심 이의 제기는 개별 증명이 맞는지 여부에만 국한되지 않습니다.
성명은 그 과정에 초점을 맞춥니다.
입장은 다음 네 가지로 요약할 수 있습니다.
AHM의 성명은 수학자들에게 OpenAI와의 협력을 중단할 것을 촉구하며 끝납니다.
이는 실제 보이콧 요구입니다.
그러나 이를 수학 공동체 전체의 합의된 입장과 혼동해서는 안 됩니다.
AHM은 인간이 작성한 수학과 상업적 AI 기업과의 협력 제한에 관한 공개적인 약속을 가진 회원 조직입니다. 회원 자격은 수학 연구 공동체의 대학원 수준 이상 연구자에게 열려 있습니다.
최종 확인 시점에 AHM의 공개 회원 페이지에는 809명의 회원이 등재되어 있었으며, 이 가운데 532명은 AI 프리 코커스 소속이었습니다.
이는 의미 있는 조직이지만, 모든 수학자를 공식적으로 대표하는 기관은 아닙니다.
스콧 애런슨도 이후 같은 구분을 명시적으로 제시했습니다. AHM 회원들은 자신을 대표할 뿐, 수학 공동체 전체를 대표하지 않는다는 것입니다.
AGMAI의 권고를 살펴보면 이번 논쟁을 더 쉽게 이해할 수 있습니다.
AGMAI는 고등연구소(Institute for Advanced Study)가 주최하는 독립 그룹입니다. 구성원에는 티머시 가워스, 마르틴 하이러, 에드워드 위튼, 라비 바킬 등의 수학자가 포함되어 있습니다.
OpenAI는 일부 구성원에게 외부 자문 그룹 설립을 제안했지만, 이 그룹은 독립적으로 운영되며 OpenAI로부터 보수를 받지 않습니다.
AGMAI는 9월 29일 AI 생성 수학의 책임 있는 공개(Responsible Release of AI-Generated Mathematics) 가이드라인을 발표했습니다.
첫 문단은 이 그룹이 최첨단 AI 연구소가 외부 과학 공동체에 접근할 수 없는 독점 모델에서 고난도 수학 문제를 시험하는 것을 지지하지 않는다고 밝힙니다.
또한 그러한 행위를 중단할 것을 명시적으로 요청합니다.
AHM이 이후 문제 삼은 부분이 바로 이것입니다.
그럼에도 OpenAI는 내부 모델을 공개 연구 문제에 대해 계속 평가했습니다.
동시에 OpenAI는 해당 결과가 이미 존재하는 상황에서 결과를 어떻게 책임 있게 공개할지에 관해 AGMAI와 협의했다고 밝혔습니다.
이는 서로 다른 두 가지 질문입니다.
최첨단 연구소가 공개 연구 문제를 독점 모델에서 시험해야 하는가?
그리고:
이미 중요한 AI 생성 결과를 확보했다면, 그 결과를 어떻게 공개해야 하는가?
AHM은 OpenAI가 첫 번째 질문을 무시하면서 두 번째 질문에 대한 협의를 통해 공개에 정당성을 부여했다고 주장합니다.
OpenAI의 입장은 더 나은 연구 도구를 개발하려면 내부 과학 평가를 계속하는 것이 중요하며, 공개 과정은 공동체의 피드백을 통해 개선할 수 있다는 것입니다.
AGMAI의 9월 29일 권고는 단순한 “중단” 메시지보다 구체적입니다.
아직 인간이 이해하지 못한 AI 생성 수학 결과에 대해 이 그룹은 연구소가 다음을 수행할 것을 권고합니다.
OpenAI는 이러한 권고 중 일부를 이행했습니다.
회사는 버전 관리와 인용 규약을 적용한 공개 GitHub 저장소에 자료를 게시했습니다.
많은 증명에 대한 Lean 형식화를 공개했습니다.
10개의 축약된 추론 요약을 발표했습니다.
대략적인 연산량과 평가 통계를 공개했습니다.
또한 인간이 주요 AI 생성 결과를 이해하도록 돕기 위해 워크숍, 학회 및 기타 프로그램에 자금을 지원하겠다고 약속했습니다.
그러나 공개 규모가 전례 없이 컸고, 많은 결과가 아직 인간 수학자에 의해 소화되지 않았기 때문에 논란은 계속되었습니다.
최초 공개에는 다음과 같은 내용이 포함되어 있었습니다.
| 공개 세부 사항 | OpenAI 공개 데이터 |
|---|---|
| 최초 원고 수 | 722 |
| 결과군 수 | 372 |
| 모델에 제시된 대략적인 문제 수 | 4,000 |
| 결과당 평균 연산량 | ChatGPT Pro의 사고 모드 기준 약 3시간 상당 |
| 축약된 추론 요약 | 10개 |
| Lean 형식화 | 일부가 아닌 다수의 원고 |
공식 저장소는 “가족(family)”을 주요 결과, 대안 증명, 귀결 또는 보조 논증을 포함할 수 있는 관련 논문 그룹으로 설명합니다.
이는 다음을 의미합니다.
722개 원고 ≠ 서로 관련 없는 722개의 해결 문제
OpenAI는 모델이 시도한 모든 문제에 성공했다고 보고하지도 않았습니다.
저장소에 따르면 내부 모델은 평가 과정에서 약 4,000개의 문제를 제시받았습니다.
BAAI 출처는 스콧 애런슨이 10월 7일 작성한 “Mathocalypse” 게시물에서 언급한 수치, 즉 약 8,000개의 시도 문제와 대략 5%의 성공률을 반복합니다.
애런슨은 자신이 들은 내용으로 보인다고 썼습니다.
OpenAI의 공식 저장소는 현재 다른 수치를 제시합니다.
약 4,000개의 문제
저장소는 1차 공개 기록이므로, 이 글은 OpenAI의 수치를 주요 기준으로 사용합니다.
372를 4,000으로 나누어 단순한 “성공률”을 계산하는 것 역시 안전하지 않습니다.
결과군이 시도된 단일 프롬프트와 일대일로 대응하는 것은 아니며, 저장소는 중요도에 따라 목록이 필터링되고 집계되었다고 설명합니다.
최초의 “722개 원고” 수치는 더 이상 현재 수치가 아닙니다.
OpenAI 저장소의 이력에 따르면 부호 오류로 인해 한 원고와 이에 의존하는 두 논문이 무효화되었습니다.
세 개의 원고가 철회되었습니다.
OpenAI는 증명 수정, 명제 교정, 가정 명확화, 의존성 수정 및 인용 교정을 포함해 다른 14개 원고도 수정했습니다.
최신 확인 시점에 저장소에는 다음이 포함되어 있습니다.
719개 원고
372개 결과군
이는 논쟁의 양쪽 모두에 중요한 증거입니다.
비판론자들에게 이는 인간이 완전히 이해하기 전에 대규모로 공개할 경우 품질 관리 문제가 발생할 수 있음을 보여줍니다.
지지자들에게는 OpenAI가 최초 공개를 불변의 것으로 가장하지 않고 공개적인 수정 및 철회 절차를 유지하고 있음을 보여줍니다.
저장소에는 이전 버전이 보존되어 있으며, 구체적인 공백을 설명하는 철회 공지도 포함되어 있습니다.
이론 컴퓨터 과학자들의 반응을 보면 공개가 미친 정서적 영향을 가장 쉽게 확인할 수 있습니다.
스콧 애런슨은 이 사건을 **“Mathocalypse”**라고 불렀습니다.
그의 게시물은 계산 복잡도 이론, 알고리즘, 수론, 수리물리학 및 기타 분야의 주요 주장을 나열합니다.
애런슨에게 개인적으로 가장 인상적인 결과 중 하나는 **유일 게임 추측(Unique Games Conjecture, UGC)**의 증명 주장입니다.
그의 아내인 다나 모시코비츠는 경력 대부분에 걸쳐 UGC 관련 문제를 연구해 왔습니다.
공개된 원고에는 Lean 인증서가 함께 제공되었지만, 애런슨은 형식적 검증이 인간의 이해와 같지는 않다고 강조했습니다.
모시코비츠의 초기 반응은 단순히 “증명이 틀렸다”는 것이 아니었습니다.
오히려 그녀는 원고가 매우 읽기 어렵다고 설명했습니다.
그녀는 선행 결과의 불명확한 사용, 혼란스러운 인용, 익숙하지 않은 구성, 그리고 AI의 도움 없이는 논증을 거의 따라갈 수 없게 만드는 서술을 지적했습니다.
동시에 그녀의 반응이 전적으로 부정적이었던 것은 아닙니다.
애런슨의 게시물은 창의적인 비전을 가진 수학자들이 AI를 활용해 아이디어를 확인하고 구현할 수 있는 미래를 상상하며, 익숙하지 않은 구성에서 배울 점이 많을 수 있다고 말한 그녀의 의견도 인용합니다.
이는 원 출처의 “절망”이라는 표현보다 더 복잡한 반응입니다.
문제는 AI가 문제를 풀 수 있는지 여부만이 아닙니다.
AI가 발견한 것을 인간이 의미 있게 흡수할 수 있는지가 핵심입니다.
이번 논쟁에서 가장 중요한 구분 중 하나는 다음 두 개념의 차이입니다.
형식적 정확성
과:
인간의 수학적 이해
Lean은 형식적 증명이 명시된 공리와 이미 검증된 보조정리에서 논리적으로 도출되는지 기계적으로 확인할 수 있습니다.
이는 강력한 보증 방식입니다.
그러나 Lean 증명만으로 다음 질문에 자동으로 답할 수 있는 것은 아닙니다.
아이디어를 한 문장으로 입력하면 We0 AI가 쇼케이스 사이트, 페이지, CMS를 생성하고 출시 후 고객과 트래픽 확보를 돕습니다.
무료 등록을 위한 하나의 완전한 프로젝트 생성
하나의 완전한 생성 흐름을 시도하고 첫 번째 프로젝트 초안을 빠르게 보는 데 가장 적합합니다.
전통적인 수학은 진실을 인증하는 것 이상의 일을 합니다.
수학은 진실을 중심으로 재사용 가능한 지적 구조를 구축합니다.
AHM과 AGMAI가 인간의 이해를 강조하는 핵심 이유가 바로 여기에 있습니다.
OpenAI의 10월 6일 발표는 저장소를 업로드하는 것으로 과학적 과정이 완료된다고 주장하지 않습니다.
회사는 결과가 인간의 지식을 발전시키기를 원하며 다음에 자금을 지원하겠다고 밝혔습니다.
OpenAI는 자료를 회사가 통제하는 저장소에만 보관하는 대신, 커뮤니티가 호스팅하는 대안을 검토하고 있다고도 밝혔습니다.
회사는 향후 공개 방식을 개선하겠다고 약속했습니다.
여기에는 더 나은 수학적 서술과 표현이 포함됩니다.
OpenAI의 주장은 사실상 다음과 같습니다.
결과는 이미 존재합니다. 산출물, 수정 이력 및 형식적 증명과 함께 공개하면 공동체가 이를 이해하기 시작할 수 있습니다.
AHM의 반론은 다음과 같습니다.
공동체가 이해할 수 있는 속도보다 빠르게 결과를 만들고 공개하면 연구 생태계 자체가 바뀌며, 검증 부담이 존재한다는 사실은 중립적이지 않습니다.
이는 “AI가 좋다”와 “AI가 나쁘다”의 단순한 대립과는 다른 문제입니다.
두 입장은 책임 있는 과학적 발전이 무엇인지에 대해 서로 다른 견해를 갖고 있습니다.
BAAI의 제목은 타오가 집단 보이콧을 “이끌었다”고 표현합니다.
그러나 1차 출처는 이러한 표현을 뒷받침하지 않습니다.
타오의 블로그에는 다음과 같이 적혀 있습니다.
이 글은 Association for Human Mathematics의 게스트 게시물이며,
해당 단체의 성명 페이지에서 재게시했습니다.
성명에는 다음과 같이 서명되어 있습니다.
Association for Human Mathematics
Communications Working Group
타오의 이름은 AHM의 현재 공개 회원 목록에 나타나지 않습니다.
그렇다고 그가 AHM이 제기한 모든 우려에 동의하지 않는다는 뜻은 아닙니다.
타오는 수학에서 AI 발전 속도가 매우 빨라지면서 발생하는 문제를 반복해서 논의해 왔습니다. 여기에는 그가 “증명 소화불량”의 한 형태라고 부른 위험, 즉 결과가 공동체가 흡수할 수 있는 속도보다 빠르게 도착하는 문제가 포함됩니다.
그러나 성명을 재게시하는 것은 성명을 작성하거나 서명하거나, 성명을 발표한 조직을 이끄는 것과는 다릅니다.
원 출처에서 가장 중요한 개념적 부분은 어려운 문제가 “해결”된 이후에 무슨 일이 일어나는지를 다룹니다.
전통적인 수학에서는 주요 결과가 수년간의 후속 연구를 만들어내는 경우가 많습니다.
증명 자체는 시작에 불과합니다.
강력한 새로운 기법은 처음 증명한 정리보다 더 큰 가치를 가질 수 있습니다.
우려되는 점은 이제 AI가 공동체가 소화할 수 있는 시간보다 더 많은 최전선 수준의 논증을 생산할 수 있다는 것입니다.
이는 다음과 같은 비대칭을 만듭니다.
AI 생성 역량
↓
수백 개의 증명
인간 전문가의 역량
↓
느린 읽기, 검증, 설명, 교육
산출물이 이해보다 훨씬 빠르게 증가하면 연구자들은 자신의 연구 방향을 선택하는 대신 기계가 생산한 수학을 해석하는 데 점점 더 많은 시간을 쓰게 될 수 있습니다.
AGMAI는 이러한 우려를 명시적으로 제기합니다.
AGMAI는 10월 6일 답변에서 수학 연구의 미래가 AI 연구소가 선택하고 생산한 결과를 인간이 이해하는 일에만 머물러서는 안 된다고 밝혔습니다.
수학자들은 여전히 자신의 질문을 선택하고, 민간 기업의 평가 우선순위가 정하지 않은 방향을 추구할 수 있어야 합니다.
얀 르쿤의 반응은 반대되는 관점을 보여줍니다.
그는 공개적인 논평에서 수학이 사라지는 것이 아니라 새로운 시대로 진입하고 있다고 주장했습니다.
그의 입장은 형식적 증명이 점점 자동화되면 인간의 관심이 다음과 같은 영역으로 이동할 수 있다는 것입니다.
이 비유는 익숙합니다.
기술은 인간의 특정 능력을 덜 중요하게 만들면서 사람들이 할 수 있는 일의 범위를 확장할 수 있습니다.
이 관점에서 자동화된 증명은 수학을 없애지 않습니다.
인간 수학자의 비교우위를 바꿀 뿐입니다.
스콧 애런슨도 비슷하게 혼합된 입장을 취합니다.
그는 AI 기업의 행동에 비판이 필요하다고 판단하면 강하게 비판하지만, 인간 연구자들이 먼저 풀고 싶어 한다는 이유만으로 기업이 공개 수학 문제를 풀지 말아야 한다는 주장도 받아들이지 않습니다.
그의 결론은 수학이 적응해야 한다는 것입니다.
10월 6일 결과 중 현재 형태 그대로 상세한 전문가 검토를 통과할 결과가 얼마나 될지는 아직 알 수 없습니다.
OpenAI도 형식화되지 않은 일부 결과에 문제가 있을 수 있다고 경고합니다.
즉각적인 세 건의 철회는 신중한 접근이 필요하다는 점을 보여줍니다.
동시에 전체 공개를 “AI 슬롭”이라고 일축하기도 어렵습니다.
일부 원고에는 기계가 확인할 수 있는 Lean 형식화가 포함되어 있습니다.
전문가들은 주요 결과를 적극적으로 읽고 있습니다.
컬렉션에는 진지한 연구자들이 수년간 연구해 온 문제에 관한 주장도 포함되어 있습니다.
따라서 적절한 기준은 맹목적인 수용도, 자동적인 거부도 아닙니다.
각 결과에는 고유한 검증 경로가 필요합니다.
AI 생성 원고
↓
가능한 경우 형식적 검증
↓
전문가 검토
↓
문헌 및 독창성 확인
↓
해설적 재구성
↓
공동체의 수용 또는 거부
이 과정에는 시간이 걸릴 것입니다.
| 주장 | 현재 상태 |
|---|---|
| OpenAI가 700개가 넘는 AI 생성 수학 원고를 공개했다 | 확인됨 |
| 최초 저장소에 722개 원고가 포함되어 있었다 | 확인됨 |
| 현재 저장소에 719개 원고가 포함되어 있다 | 3개 철회 이후 확인됨 |
| 컬렉션에 372개 결과군이 포함되어 있다 | 확인됨 |
| 모델이 약 8,000개의 문제에서 시험되었다 | 스콧 애런슨이 보고했으나 OpenAI 저장소에는 약 4,000개로 기재됨 |
| 결과당 평균 연산량이 ChatGPT Pro 사고 모드 기준 약 3시간이었다 | OpenAI에 의해 확인됨 |
| 많은 원고에 Lean 형식화가 포함되어 있다 | 확인됨 |
| 모든 원고이 형식적으로 검증되었다 | 사실 아님 |
| 모든 결과가 인간 전문가에 의해 완전히 이해되었다 | 아님 |
| AHM이 수학자들에게 OpenAI와의 협력을 중단하라고 요구했다 | 확인됨 |
| 테런스 타오가 AHM 성명을 작성하거나 주도했다 | 1차 출처로 뒷받침되지 않음 |
| 타오가 자신의 블로그에 AHM 성명을 재게시했다 | 확인됨 |
| AGMAI가 OpenAI의 전체 과정을 승인했다 | 아님. AGMAI는 자신의 역할이 승인이나 지지를 의미하지 않는다고 명시함 |
| OpenAI가 인간의 이해를 돕는 프로그램에 자금을 지원하고 있다 | 확인됨 |
| 372개 결과군 모두가 이미 수용된 수학 정리다 | 아님 |
이 논란은 이번 저장소를 넘어 계속될 가능성이 큽니다.
최첨단 모델이 계속 발전한다면 수학 공동체는 모델의 발전과 함께 확장될 수 있는 업무 흐름을 마련해야 합니다.
몇 가지 요구 사항은 점점 분명해지고 있습니다.
모든 결과에는 어떤 모델이 생성했는지, 어떤 프롬프트가 사용되었는지, 얼마나 많은 연산이 투입되었는지, 인간이 어떤 편집을 했는지가 명시되어야 합니다.
가능한 경우 증명에는 기계가 확인할 수 있는 산출물이 함께 제공되어야 합니다.
전문가들이 작동 원리를 이해할 수 없다면 정확한 증명만으로는 충분하지 않습니다.
AI 시스템은 관련 선행 기법을 식별하고 공로를 배분하기 위한 더 강력한 업무 흐름이 필요합니다.
과학적 결과가 이를 생성한 기업이 통제하는 인프라에 전적으로 의존해서는 안 됩니다.
연구소가 수백 개의 고급 결과를 공개한다면 그 결과를 설명하는 부담을 전적으로 무급 학계에 넘겨서는 안 됩니다.
가장 강력한 수학 시스템에 소수 기업만 접근할 수 있다면 연구 공동체는 지적으로 독립된 상태를 유지하기 어렵습니다.
이러한 지점은 단순한 “인간 대 AI”라는 제목보다 실제 AGMAI 논쟁에 훨씬 가깝습니다.
OpenAI는 내부 최첨단 모델이 생성한 수학 원고와 증명 산출물을 대규모 공개 저장소에 공개했습니다. 최초 공개에는 372개 결과군으로 묶인 722개 원고가 포함되어 있었습니다.
OpenAI는 한 논증에서 발견된 부호 오류가 이에 의존하는 두 논문에도 영향을 미친 뒤 세 개의 원고를 철회했습니다. 저장소에는 버전 이력과 철회 공지가 유지됩니다.
1차 출처는 이러한 설명을 뒷받침하지 않습니다. 성명은 Association for Human Mathematics의 커뮤니케이션 워킹 그룹이 발표했으며, 타오는 자신의 개인 블로그에 게스트 게시물로 재게시했습니다.
AHM은 AI 시대에 수학을 인간의 지적 실천으로 보존하는 데 초점을 둔 조직입니다. 회원 자격은 상업적 AI 기업과의 특정 협력 및 AI 생성 수학 문서의 출판에 관한 제한을 포함한 조직의 약속에 동의하는 대학원 수준 이상의 연구자에게 열려 있습니다.
AGMAI는 고등연구소가 주최하는 독립적인 수학·인공지능 자문 그룹입니다. 이 그룹은 수학 연구와 AI 연구소의 책임 있는 상호작용에 대해 자문하지만 OpenAI에 대한 의사 결정 권한은 없습니다.
AGMAI는 자신의 자문 역할을 결과를 만든 과정에 대한 승인으로 해석해서는 안 된다고 밝혔습니다. 건설적인 협력은 환영하지만, 권고가 얼마나 잘 이행되었는지는 수학 공동체가 판단해야 한다고 말했습니다.
아닙니다. OpenAI는 많은 증명에 Lean 형식화가 포함되어 있다고 밝혔지만 전부는 아닙니다. 저장소는 형식화되지 않은 일부 결과에 문제가 있을 수 있다고 명시적으로 경고합니다.
형식적으로 정확한 증명은 논리적 타당성을 확립하지만, 수학은 설명, 재사용 가능한 아이디어, 개념적 구조, 역사적 맥락 및 새로운 연구 방향에도 의존합니다. 인간의 이해는 고립된 정리를 살아 있는 학문에 편입시키는 요소입니다.
OpenAI의 10월 6일 수학 공개는 연구의 이정표인 동시에 수학 학술 활동의 규범을 시험하는 사건입니다. 회사는 AI가 생성한 수백 편의 원고를 공개했으며, 그중 다수에는 형식적 산출물이 포함되어 있습니다. 그러나 인간의 이해는 산출물의 양을 따라가지 못했습니다.
AHM은 수학자들에게 OpenAI와의 협력을 중단하고 인간의 이해를 중심에 둔 과학을 지킬 것을 촉구했습니다. 타오는 해당 성명을 재게시해 확산했지만, 성명을 작성하거나 주도하지는 않았습니다. AGMAI는 보다 절차적인 입장을 취합니다. 공개 연구 문제를 독점 모델로 시험하는 데는 반대하면서도, 그러한 결과가 존재할 때 책임 있게 공개하기 위한 상세한 권고를 발표했습니다.
저장소 자체도 이미 변화하고 있습니다. 세 개의 원고가 철회되고 다른 원고가 수정되었으며, 전문가 공동체는 모델이 실제로 무엇을 발견했는지 이해하는 훨씬 느린 작업을 시작하고 있습니다.
핵심 갈등은 단순히 인간 수학자와 AI 사이에 있는 것이 아닙니다. 새로운 정리의 생산 속도가 인간이 이를 검증하고, 설명하고, 맥락화하고, 앞으로 어떤 수학을 만들어 갈지 선택하는 과정의 속도보다 훨씬 빨라질 수 있는지가 핵심입니다.
한 문장에서 시작해 몇 분 안에 완전한 웹사이트를 받아보세요.
