OpenAI, 일반 목적 추론 모델이 에르되시의 거리 경계에 대한 반례를 발견했다고 발표했다.
OpenAI는 자사의 일반 목적 추론 모델이 에르되시의 단위 거리 문제에 대한 상한선에 반례를 발견했다고 주장했다. 이 발견은 특정한 δ > 0에 대해 n^{1+δ} 이상의 단위 거리로 구성된 유한 평면 점 집합이 존재한다는 것을 보여준다. 이 정보는 AI 모델에 의해 생성된 솔루션이 수학자들에 의해 검토되고 수정되어 제공되었다고 한다. 그러나 실험 세부사항에 대한 정보는 부족하여 재현 가능성에 대한 논의가 필요하다.
OpenAI claims its reasoning model found a counterexample to Erdős's unit-distance bound.
OpenAI has announced that its general-purpose reasoning model has found a counterexample to the conjectured upper bound in Erdős's planar unit-distance problem. This claim suggests that there are finite planar point sets with more than n^{1+δ} unit distances for some fixed δ > 0. The solution was generated by the model, checked through an AI grading pipeline, and reviewed by mathematicians. However, there is a lack of detailed experimental information that raises questions about the reproducibility of this result.