"Star Catcher Protostar: separation confirmed." Over the next few months, Protostar will deploy and track a CubeSat with our flight-proven satellite tracking software, then beam power to its off-the-shelf solar panels. Upon completion, this will be the world’s first optical power beamed between two free-flying spacecraft — a technological advancement that will pave the way for our orbital power grid. Stay tuned for more and #BeamOn ⭐️

3/ Our number theorists, applied mathematicians, and engineers, as well as AxiomProver, wrestled with this long-standing problem. Earlier today, we got 212, building on Julia’s Stadlmann’s work and extensive experiments on a massive distributed cluster. We remain in pursuit!

The Three Humans Left in a VC Firm Fred Wilson, co-founder, Union Square Ventures, interviewed by Michael Mignano (USV) [I post one executive summary daily of an interview I enjoyed and learnt from. I loved this interview that @mignano did with @fredwilson, who I've learnt a tremendous amount from on the board of Coinbase. Tons of great nuggets for founders and investors.] Summary: After 40 years in venture, Wilson has rebuilt USV around a single conviction. Only three things in the firm still need a human: picking the thesis, building relationships with founders working in that thesis, and supporting them after the check. Everything else, including sourcing, diligence, term sheets, and CRM, is being handed to agents. The interview is a working sketch of what a venture firm looks like when the back half of its job becomes software, and a clear read on what stays human-only and why. 1. The Three Humans Left. A year ago Wilson wrote a memo to his partners saying that if he were starting USV from scratch today, only three jobs would stay with humans: high-level thesis development, building relationships with founders inside that thesis, and supporting them after the check. Everything else gets handed to agents. USV is now executing on that memo, not theorizing about it. For founders raising, this is the new operating profile of the firm sitting across the table. 2. Agents Love Data Rooms. "I hate data rooms. Agents love data rooms." USV no longer asks a junior associate to scrub the data room before a term sheet. An agent reads the room and answers questions in conversation: cap table, vesting, founder ownership, anything in the corpus. The effect on partner time is direct, with less work on the parts of the job no one enjoys and more time with founders. 3. Term Sheets Without Lawyers. USV's term sheets are now written by an agent, with no outside counsel stamp at the term-sheet stage. The firm seeded the agent with standard term sheets by sector and by stage, then partners shape each document in conversation with the agent. Wilson does not yet trust an agent to write long-form definitive docs. The implication for founders: term sheets land faster, with less round-trip friction, and the cost structure of the next-generation venture firm starts to drop. 4. The Kill Zone Test. Wilson ran a sample contract through a legal-AI startup and through raw Claude Code, side by side, and Claude's markup was better. "All of legal AI is in the kill zone." The test is portable to almost any AI vendor pitch. If a wrapper company cannot outperform the raw model on the thing it sells, the wrapper is paying for the privilege of being disrupted. Operators should run the same test before signing a multi-year contract. 5. No Wrappers Allowed. To survive the kill zone you cannot wrap a model. You have to rebuild the business model from scratch around the new economics. Cursor is the example Wilson reaches for: it has been hugely successful, but more developers are dropping back to raw Claude Code, and nothing stops Anthropic from shipping an IDE. A defensible AI company redesigns the workflow itself, so the foundation lab would have to abandon its current pricing model to copy. 6. Energy Is the AI Trade. About a third of USV's deployment now goes to energy, because no matter which model wins, the winner needs power. The firm has backed a decentralized model-training network and a company that turns each grid-scale solar and wind plant into a mini data center selling inference tokens. The trade is indexed to AI without forcing USV to pick the model. Builders hunting for a less crowded adjacent market should read the same memo, because the picks and shovels of AI run through electricity. 7. Sellers, Not Coders. The skill USV now overweights in founders is selling: recruiting, fundraising, convincing customers, inspiring teams. Forty years has taught Wilson that the founder who can tell the story and bring it to life wins more often than the founder who can write the code. The corollary is uncomfortable for technical founders. "Actually being able to write code is probably not a big deal anymore," though enough technical vision to see three moves ahead still matters. If you are a CEO who cannot recruit, that is now your constraint. 8. The 80–90% Open Source Window. Open-source models, especially the ones shipping out of Asia, are running at 80 to 90 percent of the quality of the closed frontier models. Right now the closed labs are subsidizing usage, so price does not force the comparison. When the labs have to charge a real margin, open source becomes a serious value alternative and the playing field levels. Wilson is not betting the firm on this outcome, but he is hedging into the quadrant where open source wins. 9. Founders Still Want Humans. Founders do not want to raise money from an agent. They want to know the human they are getting in business with, and that is why Wilson does not see VC automating itself out of a job in the short term. The firm can automate the back half of the workflow. The front half, sitting across from a founder at 11 p.m. when they have had a horrible day, stays human. 10. Don't Pass on Price. The biggest regrets of Wilson's career are deals he passed on because the price was too high. The market-clearing valuation will almost always feel uncomfortable a year later, and the right answer is to find a way in, even if that means buying secondary instead of leading the round. Saying no on price is a defensive move masquerading as discipline. Founders raising can use the line in negotiation, because a firm that walks on price is telling you it has not adjusted to the current market. 11. Offense Over Defense. Wilson lost $25 million in six months in 2001 and learned that getting it wrong is a byproduct of the job, not a verdict on the investor. He spent his first 15 years scared of losing money and only got good at venture once he stopped playing defense. The advice is harder to apply for someone breaking in, because the first checks really do matter, but the directive holds at every level. For operators, the analog is the founder who refuses to ship until the product is perfect, because you cannot win a game you are not playing. 12. The Relationship Is the Moat. After 40 years and an AI rebuild of the firm, Wilson's one-line summary of the venture business is the same as it was on day one. The relationship between the investor and the founder is the secret sauce. Everything else, including the work USV used to staff up to do, gets compressed by technology. Find great founders, build real relationships with them, and help them build great companies. If your venture pitch to LPs does not lead with that, you are pitching the wrong business.

1/ RELEASING AXLE: the Axiom Lean Engine ⚙️ We are serving our core Infrastructure for formal proving at scale. These are the same Lean metaprogramming tools that are behind AxiomProver, powering it to win Putnam and crack open research conjectures. Available to anyone today!

Today, I am launching @axiommathai At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician.