https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/

저는 대규모 언어 모델이나 유사한 머신러닝 기술을 사용해 새로운 증명을 만들려는 사람들과 이야기를 나눈 적이 있습니다. 최근 Elon Must 등과 함께 xAI라는 회사를 공동 설립한 Tony Wu와 Christian Szegedy는 2~3년 안에 체스가 풀리는 것과 같은 의미에서 수학이 '풀릴' 것이며, 기계가 인간보다 증명을 찾는 데 더 능숙해질 것이라고 말했습니다.

3년 후에는 AI가 수학자에게 유용해질 것이라고 생각합니다. 훌륭한 부조종사가 될 것입니다. 어떤 정리를 증명하려고 하는데 정리가 참이라고 생각하지만 어떻게 참인지 알 수 없는 단계가 하나 있다고 가정해 보죠. 그러면 “AI, 이걸 해줄 수 있겠어?”라고 말할 수 있습니다. 그러면 인공지능은 “증명할 수 있을 것 같아요.”라고 대답할 수 있습니다. 저는 수학이 해결될 것이라고 생각하지 않습니다. AI에 또 다른 획기적인 발전이 있다면 가능하겠지만, 3년 후에는 눈에 띄는 진전을 보게 될 것이고 실제로 AI를 사용하는 것이 점점 더 관리하기 쉬워질 것입니다. 그리고 AI가 지금 우리가 하는 수학을 할 수 있게 되더라도 더 높은 유형의 수학으로 넘어갈 것입니다. 예를 들어 지금은 한 번에 하나씩 증명하고 있습니다. 개별 장인이 나무 인형 같은 것을 만드는 것과 같습니다. 하나의 인형을 가지고 모든 것을 아주 조심스럽게 칠하는 식으로 다른 인형을 만드는 것이죠. 우리가 수학을 하는 방식은 크게 변하지 않았습니다. 하지만 다른 모든 분야에서는 대량 생산이 가능합니다. 따라서 AI를 사용하면 한 번에 수백 개 또는 수천 개의 정리를 증명할 수 있습니다. 그리고 인간 수학자들은 AI가 다양한 작업을 하도록 지시할 것입니다. 따라서 수학을 하는 방식이 바뀔 것이라고 생각하지만, 그 시기는 조금 더 공격적일 수 있습니다.