Comment by higherkinded

Suggestion to rely on AI for proof verification is just laughable. Neuron weights instead of formal definitions. So reliable.