4 ms·
Ah, thanks. That makes a lot of sense now.
by thrdbndndn 2y ago
Ah, thanks. That makes a lot of sense now.
- thomasahle 2y agoOne more trick: They look for both proofs and disproofs. So even if they failed the formalization and created a "wrong" theorem, it's just another task.