토타오(陶哲轩) 경고, OpenAI 대량 생성 증명으로 수학계 ‘증명 소화불량’ 직면

토타오 경고, OpenAI 대량 생성 증명으로 수학계 ‘증명 소화불량’ 직면

AIbase 베이스

저명한 수학자 토타오 등 학자들이 최근 OpenAI의 AI 생성 수학 증명 대량 공개에 대해 강한 비판을 제기했다. OpenAI가 GitHub에 수백 개 미해결 난제 풀이를 담은 719부의 수학 원고를 공개한 것이 계기였으나, 이 조치는 ‘수학과 인공지능 자문단’의 독점 모델 투명성 제고 및 공개 규범에 관한 권고에 어긋난다는 지적을 받았다.

이해 메커니즘 부재가 연구 생태계 위협

토타오는 이런 산업화된 대량 난제 공략 방식이 심각한 부정적 효과를 가져오며 수학계에 ‘증명 소화불량’ 현상을 초래하고 있다고 지적했다. 전통적인 수학 연구에서 난제 공략은 학술 교류, 논문 단순화 및 새로운 이론의 정제를 수반하지만, AI는 답만 제시할 뿐 인간이 이해할 수 있는 설명과 학술적 상호작용이 결여되어 수학 공동체의 건전한 탐구 메커니즘을 파괴하고 있다.

지표 과대 추구가 분야의 비옥도 훼손

학계는 동시에 난제 공략 속도를 수학 발전을 측정하는 유일한 지표로 삼는 것은 안이한 행보라고 경고했다. 이런 대규모 기계적 ‘수확’은 실질적인 통찰의 축적으로 이어지지 못할 뿐만 아니라, 오히려 전통적 연구 경로의 생존 공간을 압박하여 학문 전체의 혁신 토양이 척박해질 위험에 직면하게 하고 있다.

본 글은 AIbase 데일리에서 제공

[AI 데일리] 코너에 오신 것을 환영합니다! 여기는 인공지능 세계를 매일 탐험하는 안내서입니다. 매일 AI 분야의 핫한 콘텐츠를 제공하며, 개발자에 초점을 맞춰 기술 트렌드를 파악하고 혁신적인 AI 제품 활용을 이해하도록 돕습니다.