We seem to still be a long way from an AI equivalent of Grothendieck (i.e., creative system-builder). Maybe AI is close to replacing a problem-solver like Erdos.