|
|
|
|
|
|
by vbarrielle
130 days ago
|
|
|
I' m far from being an LLM enthusiast, but this is probably the right use case for this technology: conjectures which are hard to find, but then the proof can be checked with automated theorem provers. Isn't it what AlphaProof does by the way? |
|
|