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
Appears across 2 pieces (2 defined it): when this term was part of the conversation. First surfaces Mar 2026.
