OpenAI, 수학 난제 겨냥한 프리프린트 700편 한꺼번에 공개
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
OpenAI가 GitHub 저장소 openai/math에 수학 프리프린트 약 700편을 올렸다. 정리 증명부터 반례까지 아우르며, Kaplansky 추측, Baum-Connes 단사성, Hadwiger 추측, Borsuk의 덮개 문제 등 오래된 추측을 다룬다. 파일명에는 2026년 9~10월 날짜가 붙어 있다.
Kaplansky의 직접 유한성 추측에 대한 반례