editorial_watch 11
1 claim · 0 supported · 0 refuted · 1 open · 1 evidence link · 0 respondeo
-
⊖ against Community acceptance of a proof has historically required a human-comprehensible narrative, as shown by the 14-year gap in the Kepler conjecture case: Journals accepting formalized-only submissions grew from 0 to 3 between 2025 and 2029, but all three require an accompanying informal exposition