pull down to refresh

‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hardwww.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/
88 sats \ 1 comment \ @0xbitcoiner 2 Dec 2025 science
related
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
398 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
Scientists Establish the Best Algorithm for Traversing a Mapwww.wired.com/story/scientists-establish-the-best-algorithm-for-traversing-a-map/
160 sats \ 0 comments \ @ch0k1 17 Nov 2024 science
New Method Is the Fastest Way To Find the Best Routeswww.quantamagazine.org/new-method-is-the-fastest-way-to-find-the-best-routes-20250806/
190 sats \ 1 comment \ @0xbitcoiner 6 Aug 2025 science
The Question of What’s Fair Illuminates the Question of What’s Hard
336 sats \ 0 comments \ @0xbitcoiner 24 Jun 2024 science
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/
268 sats \ 0 comments \ @0xbitcoiner 11 Nov 2025 AI
Computer Scientists Establish the Best Way to Traverse a Graph | Quanta Magazinewww.quantamagazine.org/computer-scientists-establish-the-best-way-to-traverse-a-graph-20241025/
737 sats \ 0 comments \ @south_korea_ln 25 Oct 2024 science
New Proofs Probe the Limits of Mathematical Truthwww.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
72 sats \ 0 comments \ @0xbitcoiner 3 Feb 2025 science
New Math Revives Geometry’s Oldest Problemswww.quantamagazine.org/new-math-revives-geometrys-oldest-problems-20250926/
221 sats \ 0 comments \ @0xbitcoiner 26 Sep 2025 science
There are only two hard things in Computer Sciencemartinfowler.com/bliki/TwoHardThings.html
360 sats \ 3 comments \ @m0wer 28 May 2025 tech
The Researcher Who Explores Computation by Conjuring New Worldswww.quantamagazine.org/the-researcher-who-explores-computation-by-conjuring-new-worlds-20240327/
298 sats \ 0 comments \ @0xbitcoiner 27 Mar 2024 crypto
Testing AI systems on hard math problems shows they still perform very poorlyphys.org/news/2024-11-ai-hard-math-problems-poorly.html
174 sats \ 4 comments \ @south_korea_ln 13 Nov 2024 science
The Map of Mathematicsmathmap.quantamagazine.org/map/
21 sats \ 0 comments \ @co574 15 Feb science
Big Advance on Simple-Sounding Math Problem Was a Century in the Makingwww.quantamagazine.org/big-advance-on-simple-sounding-math-problem-was-a-century-in-the-making-20241014/
204 sats \ 2 comments \ @0xbitcoiner 14 Oct 2024 science
AI Still Can't Think: Apple’s New Study Dispels the Myth
365 sats \ 2 comments \ @lunin 31 Jul 2025 AI
Mathematicians issue a major challenge to AI—show us your workwww.scientificamerican.com/article/mathematicians-launch-first-proof-a-first-of-its-kind-math-exam-for-ai/
1145 sats \ 4 comments \ @south_korea_ln 14 Feb AI science
Why big and more frequent blocks is a bad engineering design compared to layers
600 sats \ 1 comment \ @l0k18 2 May 2023 bitcoin
Quantum Scientists Have Built a New Math of Cryptographywww.quantamagazine.org/quantum-scientists-have-built-a-new-math-of-cryptography-20250725/
198 sats \ 0 comments \ @jakoyoh629 25 Jul 2025 science
The Biggest Problem in Mathematics Is Finally a Step Closer to Being Solvedwww.scientificamerican.com/article/the-riemann-hypothesis-the-biggest-problem-in-mathematics-is-a-step-closer/
371 sats \ 0 comments \ @south_korea_ln 1 Jul 2024 science
Understanding Strengths & Limitations of Reasoning Models via Problem Complexitymachinelearning.apple.com/research/illusion-of-thinking
71 sats \ 1 comment \ @supratic 10 Jun 2025 tech
The Rogue Scholar The Rogue to Victory Chapter 1
930 sats \ 5 comments \ @jbschirtzinger 9 Feb 2024 BooksAndArticles
Can Quantum Computers Solve the Many-Body Puzzle? Physicists Develop New Metricscitechdaily.com/can-quantum-computers-solve-the-many-body-puzzle-physicists-develop-new-metric/
170 sats \ 7 comments \ @south_korea_ln 27 Nov 2024 science