|
|
|
|
|
|
by markusde
312 days ago
|
|
|
Proofs, sure, but not definitions. A human needs to be sure that the definitions align with that they expect. Unfortunately, humans generating correct definitions and LLM's generating correct proofs are not independent problems. |
|
|