Automation Without Understanding
The essay makes the case for treating mathematical capacity as a strategic asset on a par with semiconductor capability and proposes, among other measures, that AI systems performing consequential reasoning be required to expose their decision-critical claims in formal, machine-checkable form.