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

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

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

수학동아 2019년 06호
이전
다음
1
수학동아 2019년 06호 다른추천기사
이 기사를 읽은 분이 본
다른 인기기사는?
수학으로 테러 조직을 막아라!
Step2. 대기오염 물질의 흐름을 예측하라!
불 난 노트르담 대성당, 복원될까요?
[맛있는 수학] 솔로몬의 햄 샌드위치 정리
내일 놀러 가도 될까? 대기오염 예측을 부탁해~!
  • 동아사이언스 바로가기
  • 과학동아 사이언스보드 바로가기
  • 어린이과학동아 어린이수학동아 바로가기
  • 폴리매스 바로가기
  • DS스토어 바로가기
  • 디라이브러리 바로가기
  • 과학동아천문대 바로가기
  • ㈜동아사이언스 | 등록번호 : 서울 아04396 | 등록일자 : 2017년 3월 2일 | 제호 : 동아사이언스 | 발행인 : 장경애 | 편집인 : 김민수
  • ㈜동아사이언스 디라이브러리 | 대표 : 장경애 | 개인정보관리책임자 : 최수정(privacy@dongascience.com) | 청소년보호책임자 : 신한식
  • 서울시 용산구 청파로 109, 7층 (04370) ｜ 문의 : 02-6749-2000 ｜팩스 : 02-3148-0789 ｜사업자등록번호 : 101-81-62201 (사업자정보확인)
  • 통신판매업신고번호 : 제2013-서울용산-01101호 ｜온라인 결제를 위한 PG사의 구매안전서비스(가입사실 확인)
  • Copyright © Dongascience. All right reserved.

  • 폴리매스 문제는 2019년도 정부의 재원으로 한국과학창의재단의 지원을 받아 수행된 성과물입니다.

  • ☎문의 02-6749-3911