OpenAI는 5월 20일, 새로운 추론 모델이 1946년 폴 에르되시가 제기한 평면 단위 거리 문제(planar unit-distance problem)에서 오랫동안 유지되어 온 추측을 반증하는 독창적인 수학적 증명을 생성했다고 밝혔습니다. 이 문제는 평면 위의 n개 점 중에서 정확히 단위 거리만큼 떨어진 점의 쌍이 최대 몇 개일 수 있는지를 묻는 것으로, 기존 추측은 정사각형 격자 형태의 구조가 최적에 가깝다는 것이었습니다. OpenAI는 이 증명이 단위 거리 문제나 수학적 증명 탐색을 위해 특별히 구축된 시스템이 아닌 범용 모델에 의해 생성되었다고 말했습니다. TechCrunch와 중국 기술 매체 IT之家는 노가 알론(Noga Alon), 멜라니 우드(Melanie Wood), 토마스 블룸(Thomas Bloom)을 포함한 수학자들이 이 결과를 지지하거나 검토했다고 보도했습니다. Habr는 외부 수학자들이 사전 인쇄본(preprint)을 검토, 단순화 및 강화했다고 보도했...

Read the original article