연구진은 LLM을 활용해 형식적 증명을 생성하는 방식으로 수학 연구의 신뢰성을 높이는 방법을 제시했어요. 이 방법으로 353개의 오픈 에르되스 문제 중 9개를 해결하고, 492개의 OEIS 추측 중 44개를 증명하는 데 성공했어요. 현재 이 기술은 조합론, 최적화, 그래프 이론, 대수 기하학, 양자 광학 연구에 활용되고 있어요.