▲calofmijuck 2024-04-03 | parent | ★ favorite | on: 350년 난제 '페르마의 마지막 정리' 컴퓨터 증명 나선 수학자들(dongascience.com)응원합니다. Formal proof에 관심이 있으신 분들은 Terrence Tao 교수님의 Machine Assisted Proofs (https://www.youtube.com/watch?v=AayZuuDDKP0) 강의 들어보시는 것도 추천드려요.
응원합니다. Formal proof에 관심이 있으신 분들은 Terrence Tao 교수님의 Machine Assisted Proofs (https://www.youtube.com/watch?v=AayZuuDDKP0) 강의 들어보시는 것도 추천드려요.