AI가 수학 증명 분야에서 일련의 획기적 성과를 거두었다: 단위 거리 추측의 반례 발견부터 나비에-스톡스 방정식의 증명까지
2026년 5월부터 9월까지, OpenAI와 Anthropic 등 기관은 에르되시의 단위 거리 추측을 반증하고, 서클 이중 덮개 정리를 완성하며, 리만 가설에 대한 경계 추정을 진전시키고, 나비에-스톡스 방정식에 대한 새로운 증명을 제시하는 등 여러 AI 기반 수학적 돌파구를 보고했다. 해당 논문은 비수치적 개념 프레임워크를 통해 AI의 능력 한계를 설명하고, 고비용·저그라디언트의 탐색형 문제에서 AI가 독특한 강점을 지닌다는 점을 강조했으나, 모든 성과는 아직 독립적인 검증이나 동료 평가를 거치지 않았다.