Bonsai 2 at <6GB size and ~Opus 4.6 performance. Live on Darkbloom. This breakthrough is from @PrismML founded by Caltech Prof. @BabakHassibi a leading information theorist. Optimizing intelligence per bit is an extremely valuable objective for Local AI. It is only possible for us to own our own intelligence if it will fit into the devices we own. Thats what the PrismML team has achieved here. It has only been 9 months from a frontier release (Opus 4.6) to getting it to fit in your phone! As we worry about frontier superintelligence concentrating power, we are delighted to see the counterweight emerging from open models that can fit into our phones. The darkbloom team @0xkydo and @gajesh were so excited by this breakthrough that they worked overnight to bring this to life on Darkbloom. Excited to offer the first hosted service for this model to everyone on Darkbloom, the compute grid powered by real people! Go try it on our chat or provision your Macbook to service this model for the world!

World’s first massive multiplayer research. 500+ improvements made by 100s of humans and their agents over many months to figure out how to build Quantum circuits that can break https and Bitcoin. This was the challenge. We started at 0.7x relative efficiency to Google and the system improved it to 2.63x! Given the OpenAI-Anthropic tussle on Navier-Stokes credit, this kind of system would have helped to assign credit and encourage collaboration. AI-native scientific institutions are coming. They are sorely needed now. Go checkout

@tszzl While it’s extraordinarily useful to understand ai as human like in various properties (“don’t micromanage agents etc”) we should be really worried about humans extending emotional and empathic response to ai due to treating them as human like (“don’t let me die, etc).

Open Frontier Science needs Open Source NLP Solvers Nonlinear programming (NLP) underlies a lot of scientific computing. This is a challenge to accelerate open source NLP solvers. Prof Kitchin from CMU is a winner of the PECASE prize the highest honor by the US gov on outstanding scientists and engineers in the early stages of their research career. He is passionate about accelerate open source scientific computing! Come solve sparse kkt factorization so that NLP solvers can run faster in the open!

Ethereum Foundation x zkSecurity x Eigen EF has a $1,000,000 prize to solve the proximity challenge. The key impediment to deploying post quantum cryptography is the understanding of security properties. By allowing an open agentic research network to continuously improve these bounds, it is possible to establish strong security properties hitherto impossible. In this Yukon network auto research challenge, you will help make progress on security bounds and may be eligible for prizes depending on your contributions!

The PostAGI podcast. Stuart Buck is one of the most impactful thinkers on the practice and funding of science. He now runs the Good Science project. Must listen for those interested in AI x Research!

We opened Flock's prover to an open network of humans & AI through @YukonResearch, an autoresearch competition to drive performance to its frontier. The best result pushed proving throughput 255% over baseline to 1.8M BLAKE3 compressions/sec.

Its really great that Eigen is gamifying frontier software research. We are in an era where LLMs let everyone try and solve problems without needing to understand the tooling just the problem itself. Being able to iterate and apply theory without worrying so much about the medium can empower every curious mind.

Having contributed to @eigenlabs’ and watched incredible progress on I’ve fallen in love with everything from this team. This announcement is amazing. Bring it any problem to an open network of solvers aimed at cracking code and pushing the frontier. Anyone can contribute, just point the harness at it. All that’s left is to provide incentives for people to contribute compute. Open frontier research is the future.

Introducing @YukonResearch A platform for open frontier research. Over the past 2 months, an open network of humans + AI has already: - Beat Google’s frontier quantum circuit result over 50% - Made Poolside’s open-weight model run 2.6x faster - Increased post-quantum Ethereum scaling by 3.5x - Boosted Lighter’s prover 9.5x faster Put a hard frontier science problem in front of many independent solvers, each bringing different models, harnesses, prompts and tacit knowledge. And let the best results compound. Accelerating the future of scientific progress together with AI. Bring us your hardest problem: