점점 수학적 발견에서 자신의 역할이 줄어든다고 느꼈다 함

대신 이렇게 AI가 성능이 향상되다보면 앞으로는 검증이 병목인 세상이 올거라서,

이제는 수학 증명을 Lean으로 형식화해서 옮기는 걸 전문으로 하는 연구소로 이직한다는 내용