The use of proof-assistant programming languages — designed to check mathematical reasoning for logical completeness — applied to peer-reviewed physics literature; first formally machine-identified structural flaw in a published physics paper confirmed March 2026
