OpenAI 추론 모델이 80년 된 에르되시 추측을 반증 — 그것도 수학 전용 모델이 아니다
읽어야 하는 이유 헤드라인은 "AI가 수학을 한다". 진짜 신호는 그것이 수학 전용 시스템이 아니라 범용 추론 모델에서 나왔고, 80년간 아무도 못 찾은 반례를 구성해 통념을 뒤집었다는 점이다. 결과 하나는 혁명이 아니지만, 범용성이 핵심이다.
OpenAI는 내부 추론 모델이 에르되시 1946년 단위거리 추측을 자율적으로 반증했다고 발표(5/20) — AI 최초이며 수학자들이 독립 검증.