pull down to refresh

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 2025 AI
related
howdy! I'm Allen Farrington, AMA.
25.8k sats \ 115 comments \ @allen 3 Aug 2022 bitcoin freebie
Do Austrian economists like prediction markets?
698 sats \ 7 comments \ @SimpleStacker 23 Dec 2025 econ
What would be the ideal profession for the next 50 to 100 years?
1941 sats \ 32 comments \ @Taft 3 Jul 2024 ideasfromtheedge
Knut Svanholm AMA
13.3k sats \ 57 comments \ @knutsvanholm 24 Jan 2023 bitcoin freebie
Asimov Books and Criticism on Dystopia
854 sats \ 8 comments \ @turker 27 Mar 2024 BooksAndArticles
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
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 2025 AI
Computation Is All Around Us, and You Can See It if You Try
242 sats \ 0 comments \ @0xbitcoiner 12 Jun 2024 science
What Would Carl Menger Think Of Bitcoin?
3369 sats \ 36 comments \ @siggy47 15 Apr 2024 libertarian
Will creativity become more valued by the market than technical skills?www.wsj.com/opinion/how-to-live-in-the-age-of-ai-creativity-bdc1361e?st=kZZxYG&reflink=desktopwebshare_permalink
3196 sats \ 47 comments \ @SimpleStacker 22 Mar 2025 econ
Why smart people believe stupid things
4715 sats \ 25 comments \ @frostdragon 21 Mar 2024 mostly_harmless freebie
Which Asset for Trade and Commerce... Would an Alien Civilization Use?
2525 sats \ 24 comments \ @028559d218 20 Oct 2024 bitcoin
Testing AI systems on hard math problems shows they still perform very poorlyphys.org/news/2024-11-ai-hard-math-problems-poorly.html
153 sats \ 4 comments \ @south_korea_ln 13 Nov 2024 science
Everything You See Is a Computational Process, If You Know How to Look
110 sats \ 2 comments \ @0xbitcoiner 14 Jul 2024 science
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct 2025 AI
Will Artificial Intelligence Help Prolong The Current Fiat Monetary System?
2191 sats \ 11 comments \ @siggy47 12 Apr 2024 econ
Market for electric vehicles has experienced a setback
1706 sats \ 60 comments \ @GhostofTruth 18 Apr 2024 econ
"All Bitcoin transactions are JPEGs"
1528 sats \ 9 comments \ @anon 7 Sep 2025 bitcoin
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 2025 bitcoin
Turing test with social deception gameamonghumans.io/
1496 sats \ 1 comment \ @Scoresby 16 Jul 2025 AI
Some Mathematicians Don’t Believe in Infinitywww.scientificamerican.com/article/what-if-infinity-didnt-exist/
636 sats \ 4 comments \ @south_korea_ln 11 Aug 2025 science