OpenAI 모델, 80년 된 이산 기하학 추측 반증
OpenAI 추론 모델이 수십 년 된 점 배치에 관한 추측을 반증함으로써 평면 단위 거리 문제를 해결했습니다.
OpenAI는 새로운 범용 추론 모델이 거의 80년 동안 지속된 조합 기하학의 난제인 평면 단위 거리 문제(planar unit distance problem)를 자율적으로 해결했다고 밝혔다. 이 AI는 크기 조정된 정사각형 격자가 단위 거리 쌍을 최대화한다는 중심 추측을 반박했으며, 다항식 개선을 제공하는 무한한 예시 가족을 식별했다. 필즈상 수상자인 팀 고워스(Tim Gowers)와 수론 학자인 아룰 샨카르(Arul Shankar) 등 외부 수학자들이 증명을 검증하고 동반 논문을 저술했다. 이는 수학의 저명한 공개 문제가 수학 전용 시스템이 아닌 일반 AI 모델에 의해 해결된 최초의 사례이다.