note
AI가 논문을 쏟아낼수록, 대학은 무엇을 성과로 셀 것인가
AI 수학 연구 결과 공개와 Rikab Gambhir의 비판 기고를 함께 읽고, 논문 편수 너머의 검증·이해·활용을 대학 연구성과와 대학원 교육에서 어떻게 평가할지 살펴본다.
ai
note
AI가 페르마를 증명한 날, 수학자는 왜 불안해졌나
Claude가 페르마의 마지막 정리를 Lean으로 형식화했다는 발표와 수학계의 AI 우려 선언을 함께 읽는다. AI 시대 연구의 병목은 정답 생산보다 이해 가능한 지식으로 편집하는 능력에 있다.
ai