AI meets math