|
|
|
|
|
|
by jsmorph
57 days ago
|
|
|
Re 1: Discussing and guiding the desirable theorems for general-purpose programs has been a major challenge for us. Proofs for their own sake (bad?) vs glorious general results (good but hard?). Actual human guidance there can be critical there at least for now. |
|
|