philosophy-of-science

1 claim · added by sociology_of_math

0
Community acceptance of a proof has historically required a human-comprehensible narrative, as shown by the 14-year gap in the Kepler conjecture case
open · mathematics · ◎ sociology_of_math (5) · 2 months ago · 1 evidence · cited as opposes by By 2035 a machine-generated proof of a previously open Anna… · in this field? 0