Hacker News with Generative AI: Proofs

Machine-Assisted Proof [pdf] (ams.org)
Mathematics, Computer Science, Proofs
199 points by jalcazar 21 days ago | 96 comments
A visual proof that a^2 – b^2 = (a + b)(a – b) (futilitycloset.com)
A visual proof that a2 – b2 = (a + b)(a – b).
Mathematics, Proofs, Visualizations
731 points by beardyw 34 days ago | 192 comments
Grothendieck’s use of equality (arxiv.org)
Mathematics, Algebra, Proofs
178 points by golol 243 days ago | 129 comments