Original link: New Proofs Probe the Limits of Mathematical Truth / QuantaMagazine.
I don't understand much of it, but still facinating.