수학자로서 매우 기대되며 이 모델을 직접 사용해보기를 못기다린다. 수년간 잠재적으로 멋진 결과를 낼 수 있는 아이디어를 많이 생각해왔지만 항상 완전히 손이 닿지 않는 것으로 보였다. 하지만 이제는 그중 일부를 실제로 구현할 수 있을 것 같다.

이것이 옳은 시각이다. 수학의 르네상스가 오고 있다. 지금은 충격적이겠지만 적응하는 데 시간이 걸릴 것이다. 하지만 지금 열린 문들은 전례 없는 기회를 만들어낼 것이다. 시도조차 하지 않았을 아이디어를 검증해줄 유능한 협력자를 갖는 것만으로도 혁신적인 능력이다.

과학이 불도저를 건네줬으니 삽을 내려놔도 부끄러운 일이 아니다. 하지만 발견과 증명의 짜릿함을 다른 곳에서 나온 증명을 검증하는 적당한 기쁨으로 바꾸는 것은 어려울 것이며, 이것이 앞으로 수학자의 일의 큰 부분이 될 수 있다(적어도 일자리는 있다). 아니면 수학이 산업 시대에 진입해 곳곳에서 소규모 전문가 그룹이 '증명 생산 라인'을 운영하며 검증과 품질 보증에 서명하는 시대가 온 것일 수도 있다.

수학 커뮤니티에서 기대했던 열정이 아니라 감사한다는 반응이 나오는 점이 놀랍다. AI는 인간이 50년 넘게 풀지 못한 수학 문제를 풀고 있는데 커뮤니티는 기뻐하며 소리치는 대신, 인간 수학자들이 풀지 못한 문제를 AI가 너무 잘 푼다는 청원을 만들고 있다. 수십 년 된 풀 수 없는 수학 문제를 AI가 푸는 것에 비하면 그들의 반대는 사소해 보인다.

또한 수학자들이 AI를 만들었다는 점도 있다. 모든 수학자가 AI를 미워한다고 단정하는 이유를 이해할 수 없으며, 이는 사실과는 완전히 다르다.