Lab in the loop — done right

ICYMI: A few quality of life improvements landed in Aristotle Web to make it much more interactive and responsive: ▪ Live Updates. Aristotle can now share updates while it's in the middle of a run, so that you always know what it's doing and whether it's on track. ▪ Steering. You can message Aristotle while it's working if you want to redirect it, or if you just want to let it know it's doing a great job. Keep the feedback coming; we'll continue cooking ...

You probably didn't know that protein design is data bottlenecked, with the past 5 years of work derived from 250K insanely expensive structures in the PDB collected from the 70s onward (growing just 50/day!). @diffuse_bio expands its lead in web-scale data unlocks with ProxyTm

Three years is the upper bound

We’re building the future of mathematical reasoning, and we need the right interface to bridge the gap between human and machine. Harmonic is hiring a Frontend Engineer to lead the evolution of Aristotle’s UX. Help us make complex reasoning intuitive.

Speed is everything

This is the RLVR moment for protein design. Yet another groundbreaking result from Diffuse Bio. The team is cooking — a new major experimental unlock every month. One of the fastest moving teams I’ve seen

There are two possible futures: 1. AI companies generate the vast majority of major discoveries and inventions in-house, using their massive data-centers, and capture nearly all the value themselves. 2. AI companies build tools people can use, and the value and glory from the inventions / discoveries accrue to the users. This unleashes a torrent of mathematical discovery and entrepreneurial activity. The latter is the future we believe in and are working to build. The former is the dystopian one.

This is a huge upgrade -- Aristotle can handle much larger and more complex projects than before. Stay tuned for what's coming next! 🚢🚢🚢

1/8 CompPoly is a library of machine-checked mathematics for concrete polynomial computation over rings and finite fields—the algebra behind modern cryptographic proof systems. @HarmonicMath Aristotle has recently made significant contributions to help close Phase 1 of the roadmap. @vladtenev @tachim

"Lean in my view is the best programming language ever created." 😍 Great interview with @tachim and @vladtenev on @CogRev_Podcast! 🔗youtube.com/watch?v=-01-McQQ…

It’s rare to see a model blow out the Pareto frontier like this — huge congrats to @StefanoErmon and team!

V12 is now live for open beta. It can: - Find valuable bugs - Generate working, runnable PoC - Generate patch and test the PoC against it In our testing during audits at Zellic, Zenith, and Code4rena we've been consistently impressed. Best of all: it's free. (Don't abuse it!)

Fun discussion with @vladtenev and @labenz

I remember talking to @Leonard41111588 in 2023 as we were getting Harmonic started -- really proud that we're able to support the FRO in a real way today.

RamaX unlocks rapid and scalable validation of protein designs, which has been the key bottleneck for protein generative modeling ever since @namrata_anand2 's original breakthrough on diffusion models. Now, you can use it downstream of SOTA models in one click!

I'm giving a talk about automatic formal verification of computer hardware using @HarmonicMath's Aristotle system at the University of Cambridge at their CS department on Thursday 26 February 2026 at 2PM in room FW26. The talk is open to the public. talks.cam.ac.uk/talk/index/2…

Thanks for the thought-provoking piece. My main critique is that you are overemphasizing flashy but low probability events like “left-handed bacteria,” while merely giving lip service to the risk of extreme economic concentration of power, which is very real and materializing as we speak. Anthropic is reportedly raising funds at a $350B valuation, and the wealth created thus far has been concentrated into a few hundred (perhaps more like dozens) high net worth individuals / institutions. It’s looking increasingly likely to me that none of the leading AI labs will IPO until they reach valuations in the trillions, at which point retail investors will finally be able to get shares. In order for retail to get a 100x return on these investments, which was achievable for Apple, Microsoft, Amazon, and Google, the valuations of the AI labs will need to reach hundreds of trillions of dollars, meaning it’s likely too late for a more equitable redistribution of wealth. Simply put, you are currently exacerbating the problem. The consequences of this are that voters may take matters into their own hands and push for either or both 1) more aggressive / nonsensical forms of redistribution — the CA Founders’ Tax is just the beginning or 2) a drastic knee-capping of the AI industry in America, which make the CCP dominance scenario more likely. The solution is to enable retail ownership now, increasing the number of Americans with economic exposure to Anthropic and other AI labs from hundreds of people to millions.

Whoa