New Proofs Probe the Limits of Mathematical Truth | Dark Hacker News