뉴스 - 원문 기반 요약 필요

제목(한글): OpenAI, 80년 난제 반례 제시 원문 제목(영문): OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking 원문: OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking 소스: the-decoder MD 파일: content/2026-05-22/the-decoder-openai-shifts-the-boundary-of-automated-reasoning-.md

핵심 내용

OpenAI 내부 추론 모델이 에르되시의 unit distance conjecture를 반례로 깨는 구성법을 내놨다고 발표했어요.

이 문제는 1946년 제기됐고, 점들을 평면에 놓았을 때 거리 1인 점쌍을 얼마나 많이 만들 수 있는지가 핵심이었어요. 에르되시는 기존 격자 배치가 거의 최적이라 봤고, 반례에 500달러 상금까지 걸었다고 해요.

프린스턴의 Will Sawin에 따르면 새 구성은 점 개수를 2배로 늘릴 때마다 기존보다 약 1% 더 많은 unit-distance 쌍을 만들어요. 9명의 외부 수학자가 검증·축약·코멘트를 담은 동반 논문도 함께 공개됐어요.

완전한 최종 해답은 아니지만, 기하 난제에 대수적 수론(복소수 체계·class field theory)을 연결해 자동 추론의 경계를 실제로 밀어낸 사례라는 점이 중요해요.

잡돌쌤의 한마디

점 수를 2배로 늘릴 때마다 약 1% 개선은 작아 보여도, 원래는 개선이 거의 불가능하다는 추측을 뒤집은 결과예요. AI 수학 추론의 실전 사례예요.

---

출처: OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking