Hacker News with Generative AI: Proof

Math's 'Bunkbed Conjecture' Has Been Debunked (quantamagazine.org)
It was intuitive, even obvious. It was also wrong.
Euclid's Proof that √2 is Irrational (mathsisfun.com)
A simple proof that pi is irrational [pdf] (1946) (ams.org)
Monumental proof settles geometric Langlands conjecture (quantamagazine.org)
Turing's topological proof that every written alphabet is finite (2010) (divisbyzero.com)
The "Horgan Surface" and "The Death of Proof" (johnhorgan.org)
A proof of proof by infinite descent (blogspot.com)
The Point of the Banach Tarski Theorem (2015) (solipsys.co.uk)
A seventh-grader student found a beautiful proof to Thales' Theorem (2002) (cut-the-knot.org)
Proof of geometric Langlands conjecture so complex almost no one can explain it (newscientist.com)
First proof that "plunging regions" exist around black holes in space (ox.ac.uk)
Teens who discovered new way to prove Pythagoras' theorem uncover more proofs (theguardian.com)
Proving Heron’s formula by complex number (2013) (wordpress.com)