News for hackers. Stuff that matters.

A comment on Statistician Proves Gaussian Correlation Inequality. Parent comment

Re:Statistician Proves Gaussian Correlation Inequality by mehaveaccount on Wednesday March 29, 2017 @11:20AM (#13987105)
>Simple to say is not simple to deduce.

Case in point: Fermat's Last Theorem, or Collatz Conjecture

[ Parent | on HN ]
Re:Statistician Proves Gaussian Correlation Inequality by Chinjut on Thursday March 30, 2017 @05:11PM (#13998901)
Well, no, the point isn't that simple propositions may have complex proofs, the point is that a proof may itself be simple, though hard to discover in the first place.
[ Parent | on HN ]