딥마인드는 구글 소속으로 올해 초에는 기하학 문제 풀이에 특화된 AI AlphaGeometry를 내놓았음

그리고 오늘, 새롭게 개발한 AlphaGeometry 2세대, 그리고 수학 추론용 새로운 AI AlphaProof를 통해 올해 국제수학올림피아드 (IMO) 6문제 중 대수 분야 두 문제와 정수론 분야 한 문제, 기하학 분야 한 문제를 맞히며 42점 중 28점으로 은메달에 해당하는 성적을 거두었다고 공식 발표함 ㄷㄷ
참고로 올해 IMO는 29점부터 금메달이기 때문에 단 1점 차이로 금메달을 놓친 것이며 은메달 수상자 중에서도 최상위권 성적임. 올해 금메달 수상자는 609명 중 58명에 불과 ㄷㄷ

딥마인드의 AI가 맞힌 문제들 중에는 참가자들 중 오직 5명만 맞힌 문제도 있다고 함 ㄷㄷ


딥마인드는 이번 AlphaProof 또한 형식 언어 Lean을 갖고 알파제로처럼 수학 증명을 스스로 강화학습하는 방식으로 훈련되었다고 밝힘
serverLog: f93 __LAZY__