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

- LLM의 증명 능력이 발전해도 인간의 이해와 독립적인 연구 역량이 함께 성장하지 않으면, 과학적 산출량 증가와 연구 공동체의 약화가 동시에 일어날 수 있음  
- 기계가 검증할 수 있는 증명과 인간이 이해하는 증명은 다름. 수십만 줄의 Lean 증명과 불완전한 자연어 설명을 공유할 수 있는 지식으로 만들려면 수학자들의 깊이 있는 연구가 필요  
- 수학의 발전에는 난제 해결뿐 아니라 새로운 언어와 개념을 만드는 수학화(mathematization) 가 중요하며, 증명을 얻기 쉬워지면 자연과학과 사회과학에서 이론을 구축할 기회가 넓어질 수 있음  …

[https://news.hada.io/topic?id=35596](https://news.hada.io/topic?id=35596)