GPT-5.2로 해결된 *또 다른 에르도스 문제, #729

아실 수도 있고 모르실 수도 있겠지만, 최근 Acer와 저(X에서는 AcerFur와 Liam06972452)가 GPT-5.2를 사용하여 Erdős 문제 #728을 성공적으로 해결했는데, 이는 이전에 인간이 해결하지 못했던 Erdős 문제를 LLM이 해결한 첫 번째 사례입니다.

*에르도스 문제 #729는 #728과 매우 유사하기 때문에 GPT-5.2를 수정하여 #729를 해결할 수 있는지 증명해 보자는 생각이 들었습니다.

5.2 Thinking, 5.2 Pro, Harmonic의 아리스토텔레스 사이에서 많은 반복을 거친 끝에 이제 에르도스 문제 #729의 린에서 완전한 증명을 통해 문제를 해결했습니다.

팀의 노력이었지만, 에이서는 이 증명을 공식화하는 데 저보다 훨씬 더 많은 시간을 할애했으니 그 점에 대해 찬사를 보냅니다. 어떤 이유에서인지 아리스토텔레스는 공식화하는 데 어려움을 겪었고, 여러 번의 시도에 걸쳐 며칠이 걸려서야 완전히 완성할 수 있었습니다.

참고 - 문헌 검토는 아직 진행 중이므로 이전 해법이 발견되면 업데이트하겠습니다.

이미지 링크, 테렌스 타오의 에르도스 문제에 대한 AI의 기여 목록 - https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems

---