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
Pleb Economist #9: Comparative Advantage, AI, and You
12.4k sats \ 22 comments \ @SimpleStacker 19 Jan AI econ
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
What Would Carl Menger Think Of Bitcoin?
3369 sats \ 36 comments \ @siggy47 15 Apr 2024 libertarian
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
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
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
Which Asset for Trade and Commerce... Would an Alien Civilization Use?
2525 sats \ 24 comments \ @028559d218 20 Oct 2024 bitcoin
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct 2025 AI
"All Bitcoin transactions are JPEGs"
1528 sats \ 9 comments \ @anon 7 Sep 2025 bitcoin
Market for electric vehicles has experienced a setback
1706 sats \ 60 comments \ @GhostofTruth 18 Apr 2024 econ
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
Turing test with social deception gameamonghumans.io/
1496 sats \ 1 comment \ @Scoresby 16 Jul 2025 AI
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
AI will soon be able to audit all published research...theconversation.com/ai-will-soon-be-able-to-audit-all-published-research-what-will-that-mean-for-public-trust-in-science-261363
1021 sats \ 24 comments \ @south_korea_ln 26 Jul 2025 science
2025 LLM Year in Review - karpathykarpathy.bearblog.dev/year-in-review-2025/
1622 sats \ 3 comments \ @Scoresby 21 Dec 2025 AI
Devs: LLMs are not about to take your jobs
679 sats \ 17 comments \ @halleck 17 May 2024 devs