RE: https://mathstodon.xyz/@oantolin/117299252447200305 proof·la·tion /pruːfˈleɪ.ʃən/ noun [neologism, philosophy of mathematics, computer science] 1. The rapid depreciation of the epistemic, academic, or reputational value of mathematical proofs caused by the automated, low-cost generation of formal proofs by artificial intelligence and automated theorem provers. 2. A condition in the mathematical community where the sheer volume of formally verified theorems exceeds the capacity for human comprehension, shifting the primary bottleneck of mathematics from establishing truth to extracting insight. #mathematics #lean #words