pull down to refresh

Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinewww.quantamagazine.org/mathematical-beauty-truth-and-proof-in-the-age-of-ai-20250430/
0 sats \ 0 comments \ @deSign_r 3 May Design
related
Math’s ‘Bunkbed Conjecture’ Has Been Debunkedwww.quantamagazine.org/maths-bunkbed-conjecture-has-been-debunked-20241101/
562 sats \ 2 comments \ @0xbitcoiner 1 Nov 2024 science
Mathematicians Accidentally Found a New Way to Represent Piwww.sciencealert.com/mathematicians-accidentally-found-a-new-way-to-represent-pi
295 sats \ 2 comments \ @ch0k1 23 Jun 2024 news
A geometry masterpiece: Yale prof solves part of math’s ‘Rosetta Stone’news.yale.edu/2024/11/01/geometry-masterpiece-yale-prof-solves-part-maths-rosetta-stone
430 sats \ 10 comments \ @south_korea_ln 3 Nov 2024 science
Controversial math proof divides experts in bitter academic disputewww.earth.com/news/mochizuki-controversial-math-proof-divides-experts-in-bitter-academic-dispute/
180 sats \ 2 comments \ @south_korea_ln 14 Jun science
howdy! I'm Allen Farrington, AMA.
25.8k sats \ 115 comments \ @allen 3 Aug 2022 bitcoin freebie
Some Mathematicians Don’t Believe in Infinitywww.scientificamerican.com/article/what-if-infinity-didnt-exist/
636 sats \ 4 comments \ @south_korea_ln 11 Aug science
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
To Have Machines Make Math Proofs, Turn Them Into a Puzzlewww.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/
238 sats \ 0 comments \ @0xbitcoiner 11 Nov AI
Market for electric vehicles has experienced a setback
1706 sats \ 60 comments \ @GhostofTruth 18 Apr 2024 econ
Knut Svanholm AMA
13.3k sats \ 57 comments \ @knutsvanholm 24 Jan 2023 bitcoin freebie
Fred Kreuger -- The math and CS behind Bitcoinyoutu.be/ZfXELnziULo?si=yod9vUF1msWJD2-C
2713 sats \ 30 comments \ @siggy47 10 Mar 2024 bitcoin freebie
RANT: Cryptography and Algorithm Papers Should Use Code, Not Math Notation
5016 sats \ 23 comments \ @l0k18 20 Jul 2023 tech
What Would Carl Menger Think Of Bitcoin?
3369 sats \ 36 comments \ @siggy47 15 Apr 2024 libertarian
Can you solve this cryptography riddle for Sats
562 sats \ 11 comments \ @playbuttonscore 7 Apr 2023 bitcoin
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
The AI that solved IMO Geometry Problems | Guest video by ‪@Aleph0‬www.youtube.com/watch?v=4NlrfOl0l8U&ab_channel=3Blue1Brown
352 sats \ 4 comments \ @south_korea_ln 17 Aug AI
∞/21M > $ × ∞
428 sats \ 22 comments \ @immutable 21 May 2023 bitcoin
[Daily puzzle] Find a little known property of regular polygones
1397 sats \ 12 comments \ @south_korea_ln 8 Oct 2024 science
"All Bitcoin transactions are JPEGs"
1528 sats \ 9 comments \ @anon 7 Sep bitcoin
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct AI
New Proofs Probe the Limits of Mathematical Truthwww.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
51 sats \ 0 comments \ @0xbitcoiner 3 Feb science