안녕~! 난 수학자의 연구를 돕는 인공지능(AI)이야.
딥마인드의 자랑 ‘알파고’ 형님의 동생이지.
난 수많은 자료에서 규칙을 발견해 수학자가 추측을 식으로 만들 수 있도록 돕고 있어.
소문을 듣자니, 수학 증명을 검증하는 소프트웨어(SW)도 있다더군.
내가 어떻게 수학자를 돕는지 궁금하지?
지금부터 하나씩 소개해 줄게~
수학자 돕는 AI를 기사를 통해 만나보자!
닫기
