pull down to refresh

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
related
Computer Scientists Figure Out How To Prove Lieswww.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
380 sats \ 1 comment \ @0xbitcoiner 9 Jul 2025 crypto
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
pons: Proof Of Non-Spam for Bitcoin - AbdelStarkgithub.com/AbdelStark/pons
1122 sats \ 10 comments \ @Scoresby 6 Aug 2025 bitcoin
How Terry Tao Became an Evangelist for AI in Mathwww.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
1562 sats \ 2 comments \ @0xbitcoiner 9 Jun AI math science
Controversial math proof divides experts in bitter academic disputewww.earth.com/news/mochizuki-controversial-math-proof-divides-experts-in-bitter-academic-dispute/
201 sats \ 2 comments \ @south_korea_ln 14 Jun 2025 science
We beat Google’s zero-knowledge proof of quantum cryptanalysisblog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/
1308 sats \ 7 comments \ @Scoresby 28 Apr math bitcoin
Grad Students Find Inevitable Patterns in Big Sets of Numbers
562 sats \ 0 comments \ @0xbitcoiner 5 Aug 2024 science
A personally refined transcript of Hal Finney from 26 years ago
864 sats \ 2 comments \ @neoplasma 23 Aug 2024 bitcoin_beginners
Apple makes its quantum-resistant encryption open source9to5mac.com/2026/05/22/apple-shares-iphone-and-mac-post-quantum-cryptography-code-on-github/
2047 sats \ 9 comments \ @sox 29 May security
A shallow dive into formal verification - Vitalik Buterinvitalik.eth.limo/general/2026/05/18/fv.html
1194 sats \ 1 comment \ @Scoresby 28 May math bitcoin
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
egodeathcapital investment in Simple Proofsimpleproof.com
200 sats \ 0 comments \ @supratic 16 Jul 2025 bitcoin
Proof of value is the only metric that can’t be faked. Stacker News proves right
259 sats \ 0 comments \ @hasherstacker 19 May meta bitcoin_beginners
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
272 sats \ 0 comments \ @hn 28 Dec 2024 tech
How zero knowledge proofs can be an attack on Bitcoingroups.google.com/g/bitcoindev/c/sn3-Uc1yPx4/m/Vuc6WnRNAwAJ
15.8k sats \ 5 comments \ @Scoresby 12 Dec 2025 bitcoin
Zinc+: SNARKs for Polynomial Rings - Nethermind Researcheprint.iacr.org/2026/855
564 sats \ 1 comment \ @Scoresby 6 May math bitcoin
Why we built a Bitcoin faucet that makes you answer questions
702 sats \ 4 comments \ @SatsDrop 28 Mar bitcoin Education dotnet econ lightning
Anita Posch Newsletter
342 sats \ 2 comments \ @siggy47 22 Jul 2023 bitcoin
The Scroll #5: The Many Faces of CoinJoinsopen.substack.com/pub/spiralbtc/p/the-scroll-5-the-many-faces-of-coinjoins?r=53cq2n&utm_campaign=post&utm_medium=web&showWelcomeOnShare=false
2783 sats \ 1 comment \ @spiral 29 Oct 2025 bitcoin
QED Secures $3M for Trustless Zero-Knowledge Applications Across the Bitcoinnews.bitcoin.com/qed-secures-3-million-in-funding-to-propel-fully-trustless-zero-knowledge-applications-across-the-bitcoin-ecosystem/
1007 sats \ 1 comment \ @doofus 27 Feb 2024 opensource
Proof of Humanity: Certifying Human-Originated Content in an AI Internetarxiv.org/abs/2504.03752
212 sats \ 10 comments \ @0xbitcoiner 13 Oct 2025 AI