요약:
대충 자기가 최근 이뤘던 수학적성과에서 LLM이 없었으면
수년이 걸렸을걸 AI가 많이 도와주는걸 보면서,
점점 수학적 발견에서 자신의 역할이 줄어든다고 느꼈다함
대신 이렇게 AI가 성능이 향상되다보면
앞으로는 검증이 병목인 세상이 올거라서,
이제는 수학증명을 Lean으로 형식화해서
옮기는걸 전문으로하는 연구소로 이직한다는 내용
