목록ai증명 (1)

지혜를찾아 블로깅

수학 난제에 도전하는 AI, 어디까지 왔나?

□수학은 인간 지성의 가장 정제된 산물 중 하나입니다. 기하학, 정수론, 해석학 등 분야를 막론하고 수학은 끊임없이 ‘왜’와 ‘어떻게’를 묻습니다. 그런데 이제 이 질문에 대답하려는 존재가 인간만은 아닙니다. 인공지능(AI) 역시 이 정교한 논리의 세계에 도전장을 내밀고 있습니다.DeepMind의 AI, 국제수학올림피아드 수준 도달2024년, Google DeepMind는 AlphaGeometry 2와 AlphaProof라는 두 AI 시스템을 발표하며 다시 한 번 주목을 받았습니다. AlphaGeometry 2는 국제수학올림피아드(IMO)에서 실제 출제된 6문제 중 무려 4문제를 해결해 은메달 수준의 실력을 입증했습니다. 특히 4번 기하 문제는 단 19초 만에 해결됐습니다. 대단한 기록입니다만, 과연 기..
AI 2025. 6. 7. 18:15
이전 Prev 1 Next 다음