AI 요약
AI 시스템 '테오 추측(Theo Conjecture)'이 35년 묵은 수학 난제를 풀고, 아무도 예측하지 못한 추가 항을 발견했다. 1980년대 Graffiti 프로그램이 제기한 문제를 폴 에르되시(Paul Erdős)가 주목했으며, 40년 후 랜디 다빌라(Randy Davila)가 LLM 기반 자동 발견 시스템에 동일한 문제를 입력했다. 결과는 에르되시와 협력자들이 추측했던 답의 증명과 함께, 예상치 못한 추가 항을 포함했으며, 이는 AI와 인간 수학자가 협력하는 새로운 방식을 보여준다.
핵심 포인트
- 1980년대 Graffiti 프로그램이 제기한 문제를 40년 만에 AI 시스템 '테오 추측'이 해결
- 2부터 30까지 정수의 공약수 그래프(Gₙ)에서 최대 독립 집합의 크기가 소수 개수(π(n))와 같다는 정리 증명
- AI가 예상치 못한 추가 항을 발견, 인간 수학자들이 예측하지 못한 결과 도출
- LLM이 수학적 아이디어를 제안, 테스트, 수정하는 루프를 통해 자동 발견 수행
향후 전망
- AI와 인간 수학자의 협업 모델이 수학 연구의 새로운 패러다임으로 자리잡을 가능성
- 자동 발견 시스템이 기존에 인간이 간과했던 수학적 패턴과 관계를 발굴하는 데 기여할 전망