The formal proof of CFSG may now be among the largest open-source projects ever. Watching agents assemble it is a reminder of the awe-inspiring human achievement behind it. The graph represents some 15,000 pages of intricate arguments developed by mathematicians over decades.

🚨 Big news today: We’ve raised $100M for our Series A! 🎉 🚀 We believe demand for fast inference is many times larger than demand for slow inference, and it’s about to go exponential. Thanks to our co-leads @BlackbirdVC and @Abstractvc. Two visionary partners join our journey 🎉 🚀

The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.

I believe we'll look back at this past week as a turning point in cybersecurity. AI is fundamentally changing the speed and scale of cyber threats, and the industry needs to move faster. Today, @Eon_io_ is launching the Data Resilience Initiative, helping companies find and protect their most sensitive data immediately. Eon is the only data protection company founded this decade, and the only one that can be deployed in a day. That's why we feel a responsibility to act. While the cybersecurity industry races to address these new threats, companies can't afford to wait to protect their most critical data. Traditional data protection solutions were built for a different era. They still rely on paradigms from the on-prem world, often taking months to deploy. Eon was built differently. We help companies quickly discover their most sensitive data, identify protection gaps, secure it with air-gapped backups, detect ransomware, and recover rapidly from attacks. As part of the Data Resilience Initiative, any company can start deploying Eon today. To remove barriers to getting protected, we're making Eon available at no cost for the first three months. We're also calling on other cybersecurity and data protection companies to join the initiative.

AI made everything faster. Love is the one thing it shouldn't rush. Introducing Inyo: your personal matchmaker that lives in iMessage. No feed to scroll. Nothing to swipe. You just text. Inyo gets to know you the way a close friend does, including the patterns you can't see yourself. Then, every few days, it introduces you to someone who fits. Two separate lives. One introduction. We're live in NYC, SF, LA, and Toronto. Comment "Inyo" and I'll send you an invite.

We started Mubit in Aberdeen. No network, no lab, nobody knew us. We just wanted AI systems that actually work. Today we work with some of the best companies and engineers in the world. And the thing we kept seeing: you and your competitor run the same AI. It should be yours. 🧵 Comment "SAPLING" in the next 48 hours for $100 free credits. Enterprises get the first month free.

We're announcing the public beta of datavendor.ai We spent the last two years building the best solution for people buying and selling data, whether you're a researcher in a lab or a company trying to sell data. Data is the fundamental bottleneck for AI progress, and DataVendor will be the infra that solves it.

Introducing Canva Craft 🚀 Extraordinary image generation is now available to everyone, powered by our first frontier model built specifically for design. With Craft, Canva is now the world's second most advanced AI lab for image generation on @DesignArena's global leaderboard. See what it can do 👇