Wolfram blocked publication of a mathematical proof with a court order
Please help me understand this.<p>If I understand this correctly, the Wikipedia snippet is saying that Mr. Cook developed this theory while under a related NDA with Wolfram Research; and that by publishing a paper, Mr. Cook violated that NDA.  The paper in question, the conference, and the injunction blocking publication all happened in 2015.<p>If I understand that correctly, then should this post be marked "(2015)"?<p>Also, this seems to me to be a rather run-of-the-mill NDA violation case.  The only things making it more more noteable is it being an NDA related to math, and how one of the parties involved is Wolfram Research.  Otherwise, this seems to me to be like any NDA involving a technology company, and HN has seen discussions on over-broad NDAs recently.<p>Finally, I'm not liking the quality of the Wikipedia article: I'd appreciate more information, and maybe links to court documents!