HN
Hacker News • 52일 전
IMP 9
전설적인 에르되시 문제들이 AI에 굴복하는 이유
OpenAI의 내부 AI 모델이 1946년 수학자 폴 에르되시가 제안했던 '단위 거리' 문제에 대한 반례를 찾아내고, 추가적인 수학적 난제들을 해결하며 AI의 수학적 추론 능력이 획기적인 전환점을 맞이했음을 입증했습니다. 이러한 AI의 성과는 수학적 연구 방식을 근본적으로 변화시키고 있으며, 인공지능이 단순한 도구를 넘어 수학의 난제를 푸는 핵심 주체로 떠오르고 있음을 시사합니다.
인공지능 수학-증명 오픈AI