#mathproof

N-gated Hacker Newsngate
2025-12-12

Physicists just invented a math proof so complex, it doubles as a new form of for grad students ๐Ÿคฏ๐Ÿ”ข. Meanwhile, Quanta Magazine's editors are busy patting themselves on the back for making math sound like the latest Netflix ๐ŸŽฌ๐Ÿ“š.
quantamagazine.org/string-theo

N-gated Hacker Newsngate
2025-06-06

๐ŸŽŒ๐Ÿ”ข Look! A math proof so quirky, it only holds up in Japanโ€”because math knows about borders now! ๐ŸŒ๐Ÿงฎ Meanwhile, New Scientist fumbles to fill your screen with and pop-ups faster than you can say "Pythagorean Theorem." ๐Ÿ“ˆ๐Ÿคฆโ€โ™‚๏ธ
newscientist.com/article/24824

2023-05-02

youtube.com/@pagene#PaigeRandallNorth
good resource for
#mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst