너가 말하는건 연산임 페르마의 마지막 정리나 푸앙카레 추측같은 매우 어려운 난제는 ai가 손도 못대잖아
LLM의 구현 특성상 그런거도 있고 단순히 수학을 못한다기보단 추론문제와도 엮인거임
미적분을 예로 들면.. 적분은 단지 미분의 역연산으로 보이지만 사실 대단히 어려움. 거의 대부분의 적분은 컴퓨터로도 계산할 수 없고 심지어 인간이 계산 가능한 솔루션을 컴퓨터가 못풀기도 함
그리고 계산뿐만 아니라 적분이 가능한가? 라는 질문에 대해 컴퓨터는 솔루션을 줄 수 없음..
https://gall.dcinside.com/mini/board/view/?id=linear&no=10523&page=1
미로 찾기인데 재시도가 없는 미로찾기임.
니가 이야기 하는건 연산이고 지금 llm들이 하는건 추론임
너가 말하는건 연산임 페르마의 마지막 정리나 푸앙카레 추측같은 매우 어려운 난제는 ai가 손도 못대잖아
LLM의 구현 특성상 그런거도 있고 단순히 수학을 못한다기보단 추론문제와도 엮인거임
미적분을 예로 들면.. 적분은 단지 미분의 역연산으로 보이지만 사실 대단히 어려움. 거의 대부분의 적분은 컴퓨터로도 계산할 수 없고 심지어 인간이 계산 가능한 솔루션을 컴퓨터가 못풀기도 함
그리고 계산뿐만 아니라 적분이 가능한가? 라는 질문에 대해 컴퓨터는 솔루션을 줄 수 없음..
https://gall.dcinside.com/mini/board/view/?id=linear&no=10523&page=1
미로 찾기인데 재시도가 없는 미로찾기임.
니가 이야기 하는건 연산이고 지금 llm들이 하는건 추론임