Comment Re:Not logical - argument attacks pubs, not AI (Score 2) 33
I think its a lot like the problem open source is experiencing. To (dis)prove the AI slop proofs its going to take time from a skilled mathematician.
You know what they meant.
Yes, I do. That is why I spelled it out in the open instead of letting the coward hide behind weasel words.
A bug in the code is worth two in the documentation.