OpenAI의 추론 모델이 1946년 에르되시(Erdős)가 제기한 단위거리 문제와 관련된 80년 된 수학 가설을 자율적으로 반증했어요

OpenAI의 추론 모델이 1946년 에르되시(Erdős)가 제기한 단위거리 문제와 관련된 80년 된 수학 가설을 자율적으로 반증했어요.

Sam Altman은 이걸 '꽤 큰 이정표'라고 표현했는데, 오히려 기술 CEO답지 않게 과소평가한 거라는 말이 나올 정도예요. AI가 독자적으로 수학에서 새로운 발견을 해낸 건 이번이 처음이거든요.

OpenAI는 이 능력이 생물학·물리학·공학 등 다양한 분야에서 독창적인 발견으로 이어질 수 있다고 밝혔어요.

수학 증명 도구로 쓰이던 AI가 이제 인간도 풀지 못했던 가설을 직접 뒤집는 수준까지 왔다는 게 이번 발표의 핵심이에요.