Y
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.