[dead]
[flagged]
The chess analogy doesn't quite work for me. In chess, an engine's move is useful because it helps you win. In math, a proof is useful because it helps you understand something - and from that, you can build more. If a…
[dead]
[flagged]
[dead]
[flagged]
[flagged]
[dead]
[dead]
The chess analogy doesn't quite work for me. In chess, an engine's move is useful because it helps you win. In math, a proof is useful because it helps you understand something - and from that, you can build more. If a…
[dead]
[flagged]
[dead]
[dead]