OpenAI, 수학 논문 3편 철회하고 14편 수정
OpenAI는 부호 오류로 핵심 논증이 무너진 논문과 그 결과에 의존한 논문 두 편을 철회했습니다. 다른 논문 14편도 증명과 가정 등을 수정했으며, 추가 수정본 인용과 형식화 결과를 반영해 주요 결과의 Lean 형식화 비율은 300/719, 약 42%가 됐습니다.
OpenAI는 부호 오류로 핵심 논증이 무너진 논문과 그 결과에 의존한 논문 두 편을 철회했습니다. 다른 논문 14편도 증명과 가정 등을 수정했으며, 추가 수정본 인용과 형식화 결과를 반영해 주요 결과의 Lean 형식화 비율은 300/719, 약 42%가 됐습니다.