구글 연구팀이 수학 정리를 증명하는 인공지능 ‘HOList’를 만들어 화제입니다. 수학 정리를 증명하는 과정은 무척 복잡해서 인공지능이 하기 힘든 일 중 하나로 꼽혀왔습니다. 연구팀은 미국 컴퓨터과학자 존 해리슨이 만든 증명 프로그램 ‘HOL Light’을 활용해 새로운 인공지능을 만들었습니다....(계속)
글 : 김우현 기자 기자 mnchoo@donga.com 수학동아 2019년 06호
페이스북
카카오스토리
카카오톡
트위터
밴드
찜
동아사이언스
디라이브러리
DS스토어
팝콘플래닛
![[화보] 빛의 마법으로 피어난 풍경](/uploads/article/thumbnail/201906/06057.png)
![[수학뉴스] 항공기 실종 사건 수학이 해결할까?](/uploads/article/thumbnail/201906/m20190601-005.jpg)
![[스타쌤의 꿀팁] 야구 보며 수학 공부한다](/uploads/article/thumbnail/201906/M20190601-img-last-064.jpg)
![[6월의 수학자] 싫다 싫어 상도 명예도~ 필즈상 거부한 그리고리 페렐만](/uploads/article/thumbnail/201906/Image_001.png)
![[전지적 수학 시점] 브롤스타즈, 선의 발로 총알 잘 튕기기](/uploads/article/thumbnail/201906/M20190601-img-last-069.jpg)
