AI가 새로운 결과를 매우 빠른 속도로 증명하는 데 사용되고 있습니다. 수학자들은 이것이 시작에 불과하다고 생각합니다.