판 이력 — AI와 인간 수학자, 31년간 풀리지 않은 수학 난제 풀었다…MS 연구진, 'KLS 추측' 증명 성공 | AIChainDay