구글 제미나이 딥 싱크, 국제수학올림피아드 금메달 기준 달성
구글 딥마인드는 제미나이 딥 싱크 고급 버전이 IMO 2025에서 6문제 중 5문제를 해결하며 금메달 수준인 35점을 기록했다고 밝혔습니다. 작년과 달리 전문 형식 언어 변환 없이 자연어만으로 4.5시간 제한 시간 내에 증명을 마쳤으며, 향후 구글 AI 울트라 구독자에게 제공될 예정입니다.
AlphaProof
AlphaProof·AlphaGeometry 2, 국제수학올림피아드 은메달 수준 달성
강화학습과 형식 언어를 결합한 AlphaProof와 AlphaGeometry 2가 공개됐다. 두 시스템은 2024년 국제수학올림피아드(IMO) 6개 문제 중 4개를 풀어 28점을 획득하며 최초로 은메달 기준을 충족했다. 대회 최고난도 문제까지 완벽하게 증명하며 고급 수학 추론 능력을 입증했다.