글 : 김미래 기자 수학동아 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호
도움 : 김완수(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호