AI는 수학과 과학에 황금기를 가져올까, 암흑기를 가져올까?

LLM의 증명 능력이 발전해도 인간의 이해와 독립적인 연구 역량이 함께 성장하지 않으면, 과학적 산출량 증가와 연구 공동체의 약화가 동시에 일어날 수 있음
기계가 검증할 수 있는 증명과 인간이 이해하는 증명은 다름. 수십만 줄의 Lean 증명과 불완전한 자연어...