최근 인공지능이 에르디쉬 문제 중 일반인도 이해하기 쉬운 문제를 단번에 해결해서, 논란이 되고 있다고 합니다.

이 문제는 평면에 아무데나 점을 찍을 때 거리가 같은 쌍들이 가장 많이 있는 모양이 무엇인가? 하는 문제라고 합니다.

그 답을 에르디쉬는 정사각형으로 계속 점을 찍는게 그런 쌍이 가장 많은 거라고 예측했고, 수학자들도 거의 연구해 보지도 않고 그렇게 추측해 왔다네요.

그런데, 인공지능이 그런 직관적인 추측이 틀렸다는 반례를 찾아냈다고 합니다.

Open AI의 비공개 버전이 찾아냈다는데, 그 모양 상당히 이상하네요.

아무튼, 이걸 보고, 수학자들이 이제 수학은 끝났다고 한다네요. 수학을 배울 필요가 없는 세상이 올거라고 한다는군요.

왜냐하면, 왠만한 수학 문제는 다 인공지능이 다 프로그램화해서 인간이 이해하기 어려운 수준까지 이해하고 있답니다.

Lean  언어로 그 증명이 틀렸는지 맞는지도 금방 찾아낼 수 있을 정도로 생성형 인공지능이 발전했다네요.

인간은 수백년간 증명이 맞눈지 틀렸는지 검증하기도 어려운 문제를 단 몇시간만에 증명의 참과 거짓을 판명하는 시대가 된 거지요.

이런 세상에서 수능수학을 배워야 할 필요가 있는지 의문이긴 하네요.

자세한 건 출처 참고하세요.

참고로 OpenAI 소개글은 아래 링크 참고하세요. 

https://openai.com/ko-KR/index/model-disproves-discrete-geometry-conjecture/