A Formal Proof of Complexity Bounds on Diophantine Equations by from Hacker News on 2025-05-23 20:09 (#6XGEF) Comments