Hacker News new | ask | show | jobs
by lcnPylGDnU4H9OF 733 days ago
"Although mathematicians have been able to prove this, the proof is too complex to verify without computer assistance."

Or some such.