80년 난제, AI가 해결하다

SVD 보도에 따르면, 80년간 수학자들을 괴롭혀 온 난제가 인공지능(AI)에 의해 해결되었습니다. 스반테 리누손 KTH 수학과 교수는 "아직도 약간 충격 상태"라고 밝혔습니다.

문제의 기원

이 문제는 1946년 헝가리 수학자 폴 에르되시가 처음 제시한 것으로, 넓은 종이 위에 점들을 찍었을 때 얼마나 많은 같은 길이의 선분을 그을 수 있는지에 관한 것입니다.

기존 이론과 AI의 해법

다수의 수학자들이 이 문제에 매달려 왔습니다. 에르되시 본인은 점들이 격자 형태로 배열될 때 가장 많은 선분을 그을 수 있다는 이론을 제시했습니다. 그러나 이번에 Open AI의 AI 모델이 에르되시의 가설이 완전히 틀렸음을 증명했습니다. 리누손 교수는 "AI가 수학의 다른 분야에 있는 도구들을 찾아냈다"고 설명했습니다.

AI의 연구 성과

또한, AI는 이 해결책에 관한 연구 논문을 직접 작성했습니다. 리누손 교수는 "만약 사람이 이 논문을 작성했다면, 최고 권위의 학술지에 게재될 수 있었을 것이며, 전 세계 대부분 대학의 일자리를 얻는 데 강력한 후보가 되었을 것"이라고 덧붙였습니다.