AI가 수십 년간 세계 최고의 두뇌를 괴롭혀 온 수학 문제를 풀어냈다
AI Solved A Mathematical Problem That Had Stumped The World’s Best Minds For Decades
TL;DR AI
1분핵심 요약
연구진은 GPT-5.4가 수십 년간 인간 수학자들을 버텨온 Erdős 문제 #1196, 즉 Primitive Set Conjecture의 점근적 형태를 증명했다고 밝혔다.
이 AI는 전통적인 해석학적 접근 대신 von Mangoldt 함수를 활용한 산술적 증명을 제시했다.
주요 전문가인 Jared Duker Lichtman은 이 결과를 우아한 해법이라고 평가했다.
이번 성과는 AI가 어려운 미해결 수학 문제에서 진짜 새로운 증명 전략을 만들어낼 수 있음을 시사한다.
같은 주제
