Mathématiques et intelligence artificielle