수학에서의 AI: 인간을 위해, 그리고 인간에 대해 작동하는 AI

2026년 5월, OpenAI는 '단위 거리 추측'에 대한 반례를 발표하여 1946년부터 열려 있던 기하 그래프 이론의 추측을 반박했습니다. 이는 오랜 난제에 대한 다른 AI 지원 해법들에 이어져 전환점이 되었습니다. Abhishek Saha와 같은 수학자들은 이제 일상적인 작업을 처리하기 위해 AI 모델을 사용하며, 자신의 역할을 전체 오케스트라가 아닌 지휘자에 비유합니다. Trefor Bazett과 같은 일부는 새로운 황금 시대의 가능성을 보고, SAT 솔버, LLM 생성 코드, 형식 증명 검증을 사용하여 Ramsey 이론 문제를 해결한 Carnegie Mellon의 논문을 언급합니다. 2000년에 이 시대를 예측했던 Timothy Gowers는 자신의 연구 문제가 AI로 해결되는 것을 경험하고 나서 복잡한 감정을 느낍니다. 그는 인간이 전문성을 쌓지 않으면 수학 문화가 파괴될 것을 두려워합니다. 3000명 이상의 수학자가 서명한 'AI와 수학에 관한 라이덴 선언'은 지침을 설정하고자 합니다. Epoch AI는 진전을 보고했지만 가장 어려운 벤치마크 범주는 여전히 해결되지 않았다고 언급했습니다. Terence Tao는 이 상황을 20세기 초의 기초 위기와 비교하면서 수학을 강화할 기회로 보고, Kirwin Hampshire의 에세이 '수학의 어두운 밤'은 위안은 자기기만이라고 제안하는 더 비관적인 관점을 제시합니다.