|
|
|
|
|
|
by exe34
157 days ago
|
|
|
I thought that's what I was trying to express between lines 1 and 2 above, but I may have failed to get it across. my understanding is that the danger is that the llm will create a proof that is correct but isn't about what the person thinks he's proving? |
|
|