구글 딥마인드의 AI 시스템은 이제 복잡한 수학 문제를 해결할 수 있습니다.

1. Google DeepMind는 고급 추론을 포함하는 복잡한 수학 문제를 해결할 수 있는 두 개의 AI 시스템, AlphaProof와 AlphaGeometry 2를 개발했습니다. 2. 이러한 시스템은 함께 국제 수학 올림피아드(IMO)에서 6개의 문제 중 4개를 해결하여 은메달을 수상했습니다. 3. 이는 이러한 유형의 문제에서 AI 시스템이 이렇게 높은 성공률을 달성한 첫 번째 경우입니다. 4. 고급 추론을 포함하는 수학 문제는 AI 시스템에게 어려운 문제입니다. 왜냐하면 추상화를 형성하고 활용하고, 복잡한 계층적 계획을 세우고, 하위 목표를 설정하는 것이 필요하기 때문입니다. 5. AlphaProof는 Lean 프로그래밍 언어에서 수학 명제를 증명하는 강화 학습 기반 시스템입니다. 6. Gemini AI는 수학 문제를 자연어에서 형식 문장으로 자동 번역하는 데 사용됩니다. 이렇게 하면 수학 커뮤니티에서 출판된 결과의 정확성을 높이고 협업을 촉진할 수 있습니다. 7. 이러한 프로세스를 자동화하는 것은 수학 커뮤니티에서 큰 진전입니다. 출판된 결과의 정확성을 높이고 협업을 촉진할 수 있습니다. 8. AlphaGeometry 2는 기하학 문제를 해결하는 데 최적화되었고, 그 전신보다 훨씬 더 많은 합성 데이터에 훈련되었습니다. 9. 두 명의 저명한 수학자는 시스템의 제출을 확인하고 총 42점 중 28점을 주어 인간 참가자가 은메달을 수상할 수 있도록 했습니다. 10. 더 어려운 수학 문제를 해결할 수 있는 AI 시스템을 개발하면 인간-AI 협업을 통해 수학에 대한 새로운 통찰을 얻을 수 있습니다.