You said

maybe Einstein, but we have proof of [Lovelace’s] discoveries and they’re not at all abstract in the contemporary world!

The implication behind this is that we don’t have proof of Einstein’s discoveries and his are abstract in the contemporary world. But neither of those are true.