주메뉴바로가기 본문바로가기

[수학뉴스] 수학증명, 인공지능에 맡겨라!

 구글 연구팀이 수학 정리를 증명하는 인공지능 ‘HOList’를 만들어 화제입니다. 수학 정리를 증명하는 과정은 무척 복잡해서 인공지능이 하기 힘든 일 중 하나로 꼽혀왔습니다. 연구팀은 미국 컴퓨터과학자 존 해리슨이 만든 증명 프로그램 ‘HOL Light’을 활용해 새로운 인공지능을 만들었습니다....(계속)
글 : 김우현 기자 수학동아 mnchoo@donga.com

수학동아 2019년 06호
이전
다음
1
수학동아 2019년 06호 다른추천기사