|
|
|
|
|
|
by YeGoblynQueenne
2461 days ago
|
|
|
Proof assitants have nothing to do with neural nets or optimisation. They are entirely determinitsic and return an absolute "true" or "false" result, not an approximation. https://en.wikipedia.org/wiki/Proof_assistant This is Good Old-Fashioned AI, through and through. |
|
|