OpenAI가 세 가지 수학적 결과를 철회함

Dan Roberts의 X 게시물:
"저희 GitHub 수학 저장소에 6개의 새로운 Lean 형식화(formalizations), 19개의 수정 사항, 그리고 3개의 철회된 항목을 업데이트했습니다. 현재 이 저장소에는 약 42%의 최상위 결과가 형식화되었습니다. 저희는 앞으로도 새로운 형식화와 발견하는 모든 오류(errata)로 저장소를 계속 업데이트할 것입니다."

저희 GitHub 수학 저장소에 6개의 새로운 Lean 형식화, 19개의 수정 사항, 그리고 3개의 철회된 항목을 업데이트했습니다. 현재 이 저장소에는 약 42%의 최상위 결과가 형식화되었습니다. 저희는 앞으로도 새로운 형식화와 발견하는 모든 오류(errata)로 저장소를 계속 업데이트할 것입니다.

저희 GitHub 수학 저장소에 6개의 새로운 Lean 형식화, 19개의 수정 사항, 그리고 3개의 철회된 항목을 업데이트했습니다. 현재 이 저장소에는 약 42%의 최상위 결과가 형식화되었습니다. 저희는 앞으로도 새로운 형식화와 발견하는 모든 오류(errata)로 저장소를 계속 업데이트할 것입니다.

클릭을 줄이기 위해:

그 결과, 다음 세 가지 원고를 철회했습니다:

• 분리 아벨 8차원 다양체에서의 Weil 클래스의 대수성 (Algebraicity of Weil classes on split abelian eightfolds)
• K3 표면의 Kuga–Satake 대응 관계의 대수성 (Algebraicity of Kuga–Satake Correspondences for K3 Surfaces)
• K3 표면 곱에 대한 유리 호지 추측 (The rational Hodge conjecture for products of K3 surfaces)