https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

 

최근 구글 딥마인드에서 개발한 AI AlphaProof와 AlphaGeometry 2.
이 둘이 올해 열린 국제수학올림피아드(IMO) 문제를 풀어 은메달을 받았다는 소식이 화제임.

기사에 따르면 이 AI들은 1, 2, 4, 6번에서 7점 만점을 받아 총 28점을 얻음. 금메달 컷이 29점이라 사실상 1점차로 금메달을 놓친 것.
등수로 따져도 총 609명 중 58등을 함ㄷㄷ..
사진 보면 어느 수준인지 잘 느껴짐.

채점에는 전 imo 금메달리스트이자 필즈상 수상자인 Timothy Gowers 경이 참가했는데, 푼 걸 보곤

"프로그램이 이렇게 당연하지 않은(떠올리기 어려운) 구조를 생각해 내 풀었다는 게 놀랍다. 내가 가진 최첨단 기술의 수준에 대한 생각을 한참 뛰어넘는다." 고 평가함.

실제론 한계도 있음. 상대적으로 어려운 조합론 쪽 문제였던 3, 5번은 못 품. 이 5번이 최근에 실베가서 한국인이 잘 못풀었다고 화제된 문제.
또 어떤 문제는 푸는 데 몇분도 안 걸렸지만, 어떤 건 3일이 걸렸다 함.

하지만 기대 이상의 성과도 보였는데, 최악의 난이도란 평을 받은 6번을 푼 거. 만점자가 5명뿐이라 역대 imo를 통틀어도 최고수준에 속하는 문제였는데, 어쨌든 이 AI는 지 힘으로 이걸 풀어냄ㄷㄷ

암튼 구글은 장기적으로 IMO 금상 받을 수준의 AI를 만들고, 그걸 더 키워 수학 난제도 연구할 수 있는 AI를 만드는 게 목표라고 함.
기술 수준이 놀랍네ㅇㅇ..