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

[특집] 막힌 부분을 뻥! 수학자 돕는 AI!

 안녕~! 난 수학자의 연구를 돕는 인공지능(AI)이야. 딥마인드의 자랑 ‘알파고’ 형님의 동생이지. 난 수많은 자료에서 규칙을 발견해 수학자가 추측을 식으로 만들 수 있도록 돕고 있어. 소문을 듣자니, 수학 증명을 검증하는 소프트웨어(SW)도 있다더군.내가 어떻게 수학자를 돕는지 궁금하지? 지금부터 하나씩 소개해 줄게~!&n...(계속)
글 : 김미래 기자 수학동아 futurekim93@donga.com
도움 : 김완수(KAIST 수리과학과 교수), 박선정(전주대학교 수학교육과 교수), 박의용(서울시립대학교 수학과 교수)
참고자료 : Alex Davies 외 13명, ‘Advancing mathematics by guiding human intuition with AI’, <콴타매거진> ‘Proof Assistant Makes Jump to Big-League Math’, Charles Blundell 외 4명 ‘Towards Combinatorial Invariance For Kazhdan-Lusztig Polynomials’
일러스트 : 김충민,달상
디자인 : 김세영

수학동아 2022년 02호
이전
다음
1
수학동아 2022년 02호 다른추천기사
  • 폴리매스 문제는 2019년도 정부의 재원으로 한국과학창의재단의 지원을 받아 수행된 성과물입니다.

  • ☎문의 02-6749-3911