컴퓨터는 무한을 계산하는 기계는 아니라서

무한공간에 있는 문제를 유한가지로는 인간이 만들어줘야함

그리고 그 유한（이지만 인간의 계산량으론 계산이불가능） 한 문제를

컴퓨터가 가능하다 라고 증명하는 기법이 있음

이렇게 푼 대표적인 난제가 "4색문제" 임

아니면 애시당초에 유한한케이스의 문제를 풀면되는데 이런문제면 난제가아니였을듯.

여기서중요한건

무한한 공간에있는걸 유한한 케이스로 만드는 방법조차모르면 이 방법을 쓸 수없음

대부분의 난제는 이 방법을 몰라서 못쓰고 （이런방법이없는 경우가 실질적으로는 더 많을것같긴함. 나는 좀 더 나가서 있다고해도 의미있는 문제의 거의 대부분은 비버함수급으로 나와서 의미없다고생각함）

무한한경우에도 자명하다 라는 증명으로 들어가야해서 단순하게 결정론적인 많은 연산으로 증명은 못한다고 생각함. 즉 4색문제의 해결법을 다른많은 문제에 적용하는건 힘듦 （예를들어, 골드바흐의추측, 콜라츠 추측, 리만가설 전부 이럴것으로 생각됨）

그리고 언어모델로 증명한다는 소리를 하는데

언어모델은 토큰을 확률 생성하기때문에

귀납적추론, 연역적추론 둘 다 본질적으로 무한한공간에대해선 아직까지는 할수없음

애시당초 숫자를 세는것조차 다른 프로그래밍언어의 도움이없으면 100% 성공한다고 보장할수없는데

그래서 이걸로 수학난제 증명했다는 기사를보면

논문가져오기전까진 콧방귀도 안뀜

논문을가져오라고. 그럼 읽어보고 타당한지 검토할수있으니까

난제풀었다고 "자칭 주장하는" 가짜들이 1년에도 수백편씩쓴단말이지