이산기하학

수학용으로 학습되지 않은 범용 추론 모델이 평면 단위거리 문제에 대해 1946년 Paul Erdős가 제시한 상계를 깨뜨리는 새로운 점 배치 계열을 만들어냈다. 수학자 네 명이 검증을 마쳤다.