technology A Formal Proof of Complexity Bounds on Diophantine Equations Hacker News 7h ago 1m read Comments arxiv.org