I disagree about innovation in automation creating a contradiction in LTV. LTV states that the exchange-value of goods is determined by the
socially necessary amount of labor needed to produce them. Automation only means that the
socially necessary amount of labor changes, so the exchange-value changes too.
Also in Marx theories exchange-value is something different than use-value, the latter being unaffected by automation.