pull down to refresh

Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
175 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
related
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
Do Austrian economists like prediction markets?
698 sats \ 7 comments \ @SimpleStacker 23 Dec 2025 econ
howdy! I'm Allen Farrington, AMA.
25.8k sats \ 115 comments \ @allen 3 Aug 2022 bitcoin freebie
Singapore tops OECD nations in creative thinking poll
1556 sats \ 44 comments \ @cryotosensei 3 Jul 2024 charts_and_numbers
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun 2025 bitcoin
Emerging Reasoning with Reinforcement Learninghkust-nlp.notion.site/simplerl-reason
9 sats \ 0 comments \ @hn 26 Jan 2025 tech
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 2025 science
Knut Svanholm AMA
13.3k sats \ 57 comments \ @knutsvanholm 24 Jan 2023 bitcoin freebie
What Would Carl Menger Think Of Bitcoin?
3369 sats \ 36 comments \ @siggy47 15 Apr 2024 libertarian
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
Future of work via Bitcoin ❓
7014 sats \ 38 comments \ @davidw 3 Feb 2024 bitcoin freebie
@SachinMeier's bio
124 sats \ 4 comments \ @SachinMeier 12 Oct 2023 freebie
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIepochai.org/frontiermath/the-benchmark
203 sats \ 0 comments \ @Rsync25 10 Nov 2024 tech
"All Bitcoin transactions are JPEGs"
1528 sats \ 9 comments \ @anon 7 Sep 2025 bitcoin
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
FBI Searches Property Management Company in Rent Price-Fixing Investigationrentalhousingjournal.com/fbi-searches-property-management-company-in-rent-price-fixing-investigation/
1545 sats \ 19 comments \ @siggy47 5 Jun 2024 econ
Hawaii Supreme Court Goes Full Clown on 2A... 🤡
1063 sats \ 5 comments \ @Atreus 10 Feb 2024 culture
Market for electric vehicles has experienced a setback
1706 sats \ 60 comments \ @GhostofTruth 18 Apr 2024 econ
The Man Who Invented AGIarchive.is/crlnh
269 sats \ 12 comments \ @jakoyoh629 31 Oct 2025 AI
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
Parallel-R1: Towards Parallel Thinking via Reinforcement Learningarxiv.org/abs/2509.07980
218 sats \ 0 comments \ @optimism 10 Sep 2025 AI