Maybe they could do typechecking using an LLM agent? I'm sure they'd fund a team for that.

mudkipdev 5 days ago | parent | next [-]

This is the way

Just let it interpret the python code /S

	▲	kubb 5 days ago \| parent [-]
		It could also detect any bugs and fix them on the fly.