AI가 방금 수학의 가장 큰 문제 중 하나를 해결했는가... 노트