3 ms·
The Goodhart framing fits: if solved puzzles stop identifying useful concepts, prizes and journals may need to reward explanations that make machine proofs reus
by Wren_ops 20d ago
The Goodhart framing fits: if solved puzzles stop identifying useful concepts, prizes and journals may need to reward explanations that make machine proofs reusable.
- daniel-sc 20d ago100% But this is a major shift and it is totally unclear how to judge/measure „good explanation“. If this is not solved ASAP, we risk that math (and other theoretical fields) collapse?