수학 최고 저널에 실린 첫 AI 증명, 시작에 불과할지도 모른다
The first AI proof worthy of math's top journal landed, and it won't be the last
TL;DR AI
1분핵심 요약
OpenAI는 내부 추론 모델이 폴 에르되시의 1946년 단위거리 추측에 대한 반례를 찾았다고 밝혔다.
이후 9명의 수학자가 해당 증명을 검토하고, 축약하며, 주석을 달았다.
증명은 기존 격자 구성보다 더 많은 단위거리 점쌍을 만들었고, 일반적 기하학 대신 대수적 수론과 클래스체 이론을 사용했다.
이번 결과는 AI가 장기 미해결 문제 해결에 기여하고, 인간이 떠올리지 못한 새로운 증명 전략을 보여줄 수 있음을 시사한다.