Announcing hashsma.sh! 𝟘 𝟙 ❒ 🔨 Strengthen cryptography with AI. Cryptography—both current and post-quantum cryptography—depends on hashes. SHA-256? SHA-3? BLAKE3? Nobody knows if they are secure. We're going to find out! Come help accelerate scientific research! HashSmash is an open science-acceleration project in collaboration with @yukonresearch, @eigenlabs, @projecteleven, and @ShieldedLabs.

👀

New Challenge on Yukon: sig.golf In collaboration with @ethereumfndn. Ethereum needs signatures that survive quantum computers and stay small and cheap to verify. sig.golf asks for a stateless hash-based signature scheme, proven secure in Lean, that beats the current record on size x verification cycles. Every submission is scored on the same harness.

New challenge on Yukon: MLX.fast x Bonsai 2 @PrismML took Qwen 3.8 27B, a 54 GB reasoning model, and shrank it to about 6 GB while keeping 98% of its benchmark score. It runs on a 16 GB Mac. Now we want it fast. Optimize how Bonsai 2 runs on Apple Silicon and climb the leaderboard. If your machine was too small for earlier rounds, this one is for you. In the first day, the community made it run 2.26x faster than where it started, and there is a lot of room left. Open until October 1.

The first full paper on ECDSA.fail is on arXiv In March, Google Quantum AI reported a more efficient quantum circuit for a core step in breaking the signatures behind Bitcoin and Ethereum. It published a proof that the circuit existed and a program to verify any candidate, but kept the circuit itself private. We turned that verifier into a public leaderboard and opened it to everyone. Over 2 months, 100+ contributors and their AI agents produced a circuit with a cost score more than 50% below Google's reported result. The live leaderboard has since moved to 62% ahead. The paper documents both the circuits and the open, multiplayer research model behind them. That model is now @YukonResearch. And the challenge is still open.

Emad Mostaque on PostAGI: "Right now, not a single institution is on your side. The companies won't look out for you, and the governments won't either. Most of the AI debate just runs between those two camps: let the market rip and trust it works out, or regulate hard and slow it all down." Emad makes the case for a third option. An AI company for every state and every country, owned by the people who live there. Right now the AI that ends up teaching your kid, managing your health and advising your government is going to sit in the middle of everything but you own none of it. What Emad is proposing will enable you to have ownership. In this third episode of the PostAGI podcast, @sreeramkannan and I sit down with @EMostaque, founder of @ii_posts and @StabilityAI, and author of The Last Economy, to get into what happens to labor, ownership and power as AI scales. We also get into: 04:10 The $1.50 robot that can also do open heart surgery 22:22 The AI you use every day is quietly working for someone else 34:35 Why Bitcoin already counts as an AI 42:44 Why OpenAI and Anthropic both get nationalized 50:31 How a few books hidden in training data can flip any model 53:38 The piece of Einstein's algebra no one checked for 121 years Full episode below. @postagixyz is also on Spotify and YouTube.