Nove matematičke AI sustave mogu rješavati probleme, dokazivati teoreme i podržavati istraživanja. Time matematičari ponovno razmatraju svoju ulogu u struci.