수학자들이 Lean 정리 증명기에 대해 알아야 할 것들... 노트

수학자들이 Lean 정리 증명기에 대해 알아야 할 것들: 신뢰성과 AI에 대한 질문

[이 글은 Thomas Hales의 객원 게시물입니다. 이 블로그 게시물은 원래 다른 파일 형식으로 작성되었으며 AI를 사용하여 변환되었습니다. — T.] 수학자들은 수학에 대해 무엇을 중요하게 생각하는지에 대해 의견을 나누고 있습니다. 저에게 중요한 것은 수학의 일관성과 과학 및 문명을 지원하는 데 있어 타의 추종을 불허하는 신뢰성입니다. […]