AI v matematice