Hacker News with Generative AI: Proof

How many real numbers exist? New proof moves closer to an answer (2021) (quantamagazine.org)
For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise.

Mathematics, Infinity, Proof, Real Numbers

58 points by lisper 10 days ago | 60 comments

Proved my physics professor wrong with help from my 3D printer (reddit.com)
Vindicated after 25 years! Proved my physics professor wrong with help from my P1S! (v.redd.it)

Physics, 3D Printing, Education, Proof, Vindication

7 points by niceice 19 days ago | 1 comments

Ever wished you could time-travel just to say 'I told u so'? (tolduvault.com)
Save Your BrillianceProve You Were Right

Time Travel, Social Media, Proof, History

12 points by frankbdev 32 days ago | 15 comments

Fermat's Last Theorem – how it’s going (wordpress.com)
So I’m two months into trying to teach a proof of Fermat’s Last Theorem (FLT) to a computer. Most of “how it’s going” is quite tedious and technical to explain: to cut a long story short, Wiles proved an “R=T” theorem and much of the work so far has gone into teaching the computer what R and T are; we still have not finished either definition.

Mathematics, Computer Science, Proof

443 points by verbify 37 days ago | 210 comments

Math's 'Bunkbed Conjecture' Has Been Debunked (quantamagazine.org)
It was intuitive, even obvious. It was also wrong.

Mathematics, Conjectures, Proof

25 points by nhatcher 77 days ago | 3 comments

Euclid's Proof that √2 is Irrational (mathsisfun.com)

Mathematics, Proof, Irrational Numbers

172 points by thunderbong 149 days ago | 93 comments

A simple proof that pi is irrational [pdf] (1946) (ams.org)

Mathematics, Proof, History

66 points by pipopi 164 days ago | 55 comments

Monumental proof settles geometric Langlands conjecture (quantamagazine.org)