아마추어가 ChatGPT의 도움으로 에르되시 문제를 해결하다 | Hacker News

해커뉴스 스레드는 primitive set과 관련된 에르되시(Erdős)식 수론 문제와 ChatGPT를 활용한 증명 전략을 중심으로 전개됐다.

해당 풀이가 타당한지에 대한 논의가 이어졌고, 사용자들은 수학적 엄밀성, 휴리스틱, 증명 검증의 문제를 따져봤다.

스레드는 곧 LLM의 수학 능력 논쟁으로 확장돼, 추론·계산·정리 수준 작업에서의 성공 사례와 한계를 함께 다뤘다.

댓글에서는 인간의 수학적 직관과 AI의 강점을 비교하며, 제한된 컨텍스트 창과 불안정한 증명 생성 능력이 약점으로 지적됐다.