open ai의 내부모델이 에르되시 문제 중에 90번을 반증하여 풀었다. 외부 수학자들이 ai의 풀이를 검토하고 논문도 작성했다고 함. 98년 필즈상 수상자 티모시 가워스는 이 논문에 대해서 annals에 추천하고 싶다고 했을 정도다.


물론 ai가 풀기 힘들어하는 분야도 있겠지… 그래도 좀 충격이 크네. 내가 알기론 학창시절에 총명하여 교수까지 되어가면서 평생을 수학에 바쳐도 그저그런 수학자로 살아가는 사람들이 99%라고 하던데, ai는 (특정 분야에 한하겠지만) 앞으로 annals급을 찍어낼거라고 생각하니 마음이 착잡하다.


탈수학은 지능순라고 반쯤 농담식으로 얘기했지만 이제 더이상 농담이 아닐수도 있을 거 같다.