형식증명 on TechLLMhttps://techllm.github.io/tags/%ED%98%95%EC%8B%9D%EC%A6%9D%EB%AA%85/Recent content in 형식증명 on TechLLMHugokoTue, 19 May 2026 23:00:00 +0900수학적 감각과 코페르니쿠스적 전환 — 테런스 타오가 묻는 AI 시대의 증명https://techllm.github.io/posts/terry-tao-ai-mathematics-human-thought/Tue, 19 May 2026 23:00:00 +0900https://techllm.github.io/posts/terry-tao-ai-mathematics-human-thought/필즈상 수학자 테런스 타오와 Tanya Klowden이 AI 시대 수학의 본질을 철학적으로 탐구한 논문. 증명의 수학적 감각, 형식화의 한계, 학생을 위한 AI 사용 원칙까지.