AI는 국제수학올림피아드 문제를 은메달 수준으로 해결합니다.

기사 제목: "AI, 국제 수학 올림피아드 문제를 은메달 수준으로 해결하다"

주요 성과:

• AlphaProof와 AlphaGeometry 2는 수학의 고급 추론 문제를 해결.
• 두 시스템은 올해 국제 수학 올림피아드(IMO)에서 6문제 중 4문제를 해결, 은메달 수준 달성.
• 시스템은 각 문제에 대해 완벽한 점수를 받았고, 총 28점을 획득.

시스템 소개:

• AlphaProof: 공식 수학 추론을 위한 강화 학습 기반 시스템, 수학적 진술을 증명.
• AlphaGeometry 2: 기하 문제 해결 시스템의 개선 버전, 더 빠르고 효율적인 문제 해결 능력.

경쟁력:

• AlphaProof는 대회 중에도 자가 증명을 통해 문제 해결 능력을 지속적으로 강화.
• AlphaGeometry 2는 과거 25년의 IMO 기하 문제 중 83%를 해결.

평가 및 검증:

• IMO 금메달리스트 및 필즈 메달 수상자인 Prof Sir Timothy Gowers와 Dr Joseph Myers가 평가.
• AlphaProof는 가장 어려운 문제를 5명의 참가자와 함께 해결.
• AlphaGeometry 2는 기하 문제를 19초 만에 해결.

미래 전망:

• 수학자들과 AI 도구가 협력하여 새로운 가설을 탐구하고 오래된 문제를 해결하는 데 기여할 것.
• AlphaProof와 AlphaGeometry 2의 기술적 세부 사항을 더 공개할 예정.

기술 개발 및 팀 기여자들:

• AlphaProof: Thomas Hubert, Rishi Mehta, Laurent Sartran 주도.
• AlphaGeometry 2: Thang Luong 주도.
• 자연 언어 추론 시스템: Golnaz Ghiasi 주도.
• 여러 연구자 및 공헌자들의 협력으로 프로젝트 진행.