오픈AI와 구글이 AI 모델을 활용해 인간 수학자들이 수십 년간 풀지 못했던 미해결 기하학 추측과 에르되시 문제를 해결했어요. 오픈AI는 새로운 추론 모델이 폴 에르되시 추측을 반박하는 증명을, 구글은 알파프루프 넥서스 모델로 에르되시 문제 9개와 OEIS 추측 44개를 해결했다고 발표했어요. AI가 답을 제시하는 것뿐 아니라 증명을 만들고 검증까지 통과했다는 점에서 수학계에 큰 충격을 주고 있어요.