80년 넘게 전문가들을 좌절시켜 온 수학 문제가 있었다. AI가 모두를 뛰어넘었다
A math problem had been resisting experts for more than 80 years. An AI has outperformed them all

TL;DR AI
1분핵심 요약
OpenAI의 내부 추론 모델이 에르되시의 평면 단위거리 문제에서 새로운 하한 돌파를 이끌었다.
이번 결과는 하한을 약 n^(1+o(1))에서 n^(1+δ)로 끌어올리며 80년 넘게 이어진 교착을 깼다.
프린스턴의 수학자들이 증명을 검증해 받아들였고, AI 보조 발견의 신뢰도를 높였다.
이 성과는 범용 AI가 벤치마크를 푸는 수준을 넘어, 진짜로 새로운 수학을 만들어낼 수 있음을 시사한다.



