"Although mathematicians have been able to prove this, the proof is too complex to verify without computer assistance."

Or some such.