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 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 bitcoin
howdy! I'm Allen Farrington, AMA.
25.8k sats \ 115 comments \ @allen 3 Aug 2022 bitcoin freebie
What Would Carl Menger Think Of Bitcoin?
3369 sats \ 36 comments \ @siggy47 15 Apr 2024 libertarian
Emerging Reasoning with Reinforcement Learninghkust-nlp.notion.site/simplerl-reason
9 sats \ 0 comments \ @hn 26 Jan tech
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Singapore tops OECD nations in creative thinking poll
1556 sats \ 44 comments \ @cryotosensei 3 Jul 2024 charts_and_numbers
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
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIepochai.org/frontiermath/the-benchmark
203 sats \ 0 comments \ @Rsync25 10 Nov 2024 tech
@SachinMeier's bio
124 sats \ 4 comments \ @SachinMeier 12 Oct 2023 freebie
Knut Svanholm AMA
13.3k sats \ 57 comments \ @knutsvanholm 24 Jan 2023 bitcoin freebie
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
The Man Who Invented AGIarchive.is/crlnh
269 sats \ 12 comments \ @jakoyoh629 31 Oct AI
Future of work via Bitcoin ❓
7014 sats \ 38 comments \ @davidw 3 Feb 2024 bitcoin freebie
ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct tech
Hawaii Supreme Court Goes Full Clown on 2A... 🤡
1063 sats \ 5 comments \ @Atreus 10 Feb 2024 culture
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
Competition and trust in the private provision of money | Article Review
20.7k sats \ 16 comments \ @SimpleStacker 12 Nov 2024 BooksAndArticles
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
"All Bitcoin transactions are JPEGs"
1528 sats \ 9 comments \ @anon 7 Sep bitcoin
AI achieves silver-medal standard solving International Mathematical Olympiaddeepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
284 sats \ 3 comments \ @sancristrader 25 Jul 2024 tech
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 science