80년 수학 난제, AI가 풀었다…새 패러다임 시작되나

AI 요약

오픈AI의 AI 모델이 월스트리트저널과 AFP 보도에 따르면 폴 에르되시가 1946년 제기한 '단위 거리 문제'를 80년 동안 인간이 풀지 못한 난제를 이틀도 채 걸리지 않아 해결했다고 5월 29일 보도했습니다. AI는 에르되시의 격자 구조 가정보다 더 많은 단위 거리 쌍을 만드는 전혀 다른 점 배치 규칙을 찾아 수학적으로 증명했고, 이를 위해 대수적 수론과 이산 기하학을 융합한 7만5000단어가 넘는 사고 체인으로 약 1000달러의 토큰 비용과 32시간 미만의 계산으로 문제를 풀었습니다. 프린스턴대 노가 알론 교수와 필즈상 수상자 티모시 가워스 등 많은 수학자가 성과를 높이 평가했으며, 보도는 이번 난제 해결을 AGI로 가는 강력한 이정표이자 패러다임 전환의 예고편으로 해석된다고 전했습니다.