Sciences X/Twitter May 22, 2026 1 min read 80년 묵은 에르되시 기하학 추측, OpenAI 모델이 반증 OpenAI의 범용 추론 모델이 수학자 폴 에르되시가 1946년에 제시한 기하학 난제를 자율적으로 해결했다. AI가 수학의 주요 미해결 문제를 스스로 풀어낸 최초의 사례로, 외부 수학자들이 증명을 검토하고 검증했다. #openai#mathematics#erdos 20