Hot: kr-mathAll contenthive-129948hive-196917krhive-180932zzansteemhive-166405hive-150122hive-183959photographyhive-185836hive-144064hive-183397hive-101145hive-188619uncommonlabhive-145157hive-184714hive-103599hive-139150hive-193637hive-193186bitcoinhive-180106hive-179660TrendingNewHotLikersbeoped (72)in kr-math • 2 days ago타오의 machine assisted proofs 강연을 보고유투브 알고리즘이 불러온 필즈상 수상자인 테렌스 타오의 Machine assisted proofs 강연! 강연에 사용된 슬라이드는 테렌스 타오의 웹페이지, 여기 (몇몇의 슬라이드는 빠지고 추가 된 듯 싶다) 또 강연의 원고격인 소논문은 여기 에서 받아 볼 수 있다. 컴퓨터가 수학적 증명에 처음 도움을 주었다고 생각하는…
