OpenAI는 17개 분야에 걸쳐 722개의 AI 생성 수학 증명들을 공개했으며, 이는 비용 효율성과 실용성에 관한 논쟁을 불러일으켰습니다. 기계 검증이 이루어졌지만, 많은 증명들이 인간의 해석 가능성을 결여하고 있으며, 단일 기호 오류가 연쇄적인 실패를 초래합니다. 수학자들은 AI가 기존 지식을 단순히 재조합하는 데 그쳐, 수학 연구의 핵심인 새로운 통찰력을 생성하지 않으면서 방대한 출력물을 정렬하고 해석하는 부담을 인간 연구자들에게 전가한다고 우려합니다.