AlphaProof·AlphaGeometry 2, 국제수학올림피아드 은메달 수준 달성
강화학습과 형식 언어를 결합한 AlphaProof와 AlphaGeometry 2가 공개됐다. 두 시스템은 2024년 국제수학올림피아드(IMO) 6개 문제 중 4개를 풀어 28점을 획득하며 최초로 은메달 기준을 충족했다. 대회 최고난도 문제까지 완벽하게 증명하며 고급 수학 추론 능력을 입증했다.
강화학습과 형식 언어를 결합한 AlphaProof와 AlphaGeometry 2가 공개됐다. 두 시스템은 2024년 국제수학올림피아드(IMO) 6개 문제 중 4개를 풀어 28점을 획득하며 최초로 은메달 기준을 충족했다. 대회 최고난도 문제까지 완벽하게 증명하며 고급 수학 추론 능력을 입증했다.