안녕~! 난 수학자의 연구를 돕는 인공지능(AI)이야. 딥마인드의 자랑 ‘알파고’ 형님의 동생이지. 난 수많은 자료에서 규칙을 발견해 수학자가 추측을 식으로 만들 수 있도록 돕고 있어. 소문을 듣자니, 수학 증명을 검증하는 소프트웨어(SW)도 있다더군.
내가 어떻게 수학자를 돕는지 궁금하지? 지금부터 하나씩 소개해 줄게~!
▼ 이어지는 기사를 보려면?
Intro. [특집] 막힌 부분을 뻥! 수학자 돕는 AI!
Part1. [특집] 수학 하는 AI, 너 정체가 뭐니?
2022년 02월 수학동아 정보
글
김미래 기자 기자도움
김완수(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’일러스트
김충민,달상디자인
김세영🎓️ 진로 추천
구독상품안내
