Reaction
Machine proofs and what counts as progress in mathematics
A quoted passage argues that machines’ ability to prove or disprove conjectures calls mathematicians’ current criteria for progress into question.
TLDR
A passage shared in a post argues that mathematicians’ current values are misaligned with the purpose of mathematics. It says machines can prove or disprove conjectures by trying a wide array of known methods within known theories, challenging existing ideas about mathematicians’ role and what constitutes genuine progress.
Combined views
332
1 Source, first seen ago