[📌 사건 전말 및 팩트 브리핑] AI가 수학 난제 풀이 결과를 대량으로 공개하면서, 수학자들은 단순한 속도 경쟁이 학문의 본질을 훼손할 것을 우려하고 있다. 특히, 증명의 타당성을 검증하는 컴퓨터 프로그램 '린(Lean)' 자체의 신뢰성 문제와 AI가 생성한 형식 언어 원고의 불일치 사례가 발견되면서, 지식 전반의 사실 기준에 대한 근본적인 의문이 제기되고 있다. ※ 본 콘텐츠는 VERA AI의 독자적인 팩트 분석 및 실무 브리핑 리포트입니다. 기자의 취재 원문 전문은 아래 [원문 기사 전문보기] 버튼을 통해 한겨레 공식 웹사이트에서 직접 열람하실 수 있습니다.