수학 올림피아드 은메달 뺨치는 AI, 드디어 수학 증명도 척척

요즘 AI가 뭐든 다 한다고들 하시죠? 그런데 이제는 수학 올림피아드에서 은메달 따는 수준까지 왔다고 하면 믿으시겠어요? 😲

원래 컴퓨터는 숫자 계산은 인간보다 훨씬 잘해왔지만, 진짜 수학적 사고와 논리 증명 부분에서는 좀 약했거든요. 마치 계산기로는 복잡한 수학 문제의 ‘이유’를 이해할 수 없는 것처럼요. 사실 1+1=2를 증명하는 것만 해도 버트런드 러셀이라는 철학자가 500페이지나 되는 책을 썼을 정도로 깊은 이야깃거리라고 해요.

근데 진짜 신기한 건 딥마인드 팀의 접근법이에요. 그동안 AI는 통계적으로 ‘그럴듯한’ 답을 찾는 방식이었다면, 이번에는 수학처럼 ‘100% 정확해야 하는’ 분야를 위해 완전히 새로운 훈련 방법을 개발했어요. Lean이라는 프로그램을 사용해서 수학 문장들을 정확한 프로그래밍 언어로 번역하고, 그걸로 AI를 훈련시킨 거죠.

솔직히 말하면 제가 경제학과 나왔는데도 수학 증명이 항상 어려웠는데… AI가 이 정도까지 발전하니까 앞으로는 우리가 모르는 수학적 발견들을 AI가 도와줄 수도 있겠다는 생각이 들어요. 마치 체스나 바둑에서 AI가 인간을 뛰어넘은 것처럼 수학 분야에도 새로운 혁명이 시작될지도 모르겠네요.

이제 AI가 수학 문제도 풀고 증명도 한다고 하니, 다음 세대 아이들은 수학 공부를 어떻게 하게 될지 궁금해지네요. 여러분은 어떻게 생각하시나요?

—

원문: [Ars Technica](https://arstechnica.com/ai/2025/11/deepminds-latest-an-ai-for-handling-mathematical-proofs/)