인공지능은 수학자들이 80년 동안 해내지 못했던 일을 해냈습니다.

AI 요약

OpenAI의 AI 모델이 1946년 폴 에르되시가 제기한 단위 거리 문제에 대해 인간의 직접적 도움 없이 독자적으로 해법을 찾아 에르되시의 가설을 반증하는 구성을 제시했습니다. 모델은 대수적 정수론과 이산 기하학을 결합한 덜 관습적인 접근을 통해 7만5천 단어가 넘는 추론 과정을 생성했고 연구진은 결과를 재확인하고 외부 전문가 평가와 다른 AI 도구로 검증했다고 보고했습니다. 프린스턴의 노가 알론과 필즈상 수상자 티모시 고워스 등 전문가들은 이 성과를 인정했으며 이는 인공지능이 새로운 수학적 지식 창출에 직접 기여하고 있음을 보여준다고 평가했습니다.