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.

Superset is now Paradev: The code editor that helps engineers run armies of coding agents. We just raised an $11.5M Seed round led by @usv with @ycombinator to redefine how software is written.

Introducing Cardboard for ChatGPT and Claude. You never know when your best ideas will find you. So we made sure that @usecardboard is there, whenever they do. At your desk, or on the go, wherever you are :)

We just killed Higgsfield Genjutsu. Introducing Sume Remix : same workflow as Genjutsu, 2.6x cheaper > clone any video > no markups, no subscriptions > start from $5 Try now at sume.com/remix

Jensen Huang: “… the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world.” We're grateful to Jensen and the teams at NVIDIA and TCV for believing in us. Both companies have joined Higgsfield as investors in our Series B extension. Since our August Series B: • We’ve crossed $1 billion in annualized revenue. • Enterprise contracts are up 71%, growing 100%+ month-over-month • We’ve grown from 30 million to over 40 million users globally. TCV has backed Netflix, Facebook, ByteDance and Spotify, companies that changed how people create and consume media. NVIDIA has powered every generation of Higgsfield, from L40 and A40 GPUs through Hopper and Blackwell, with Vera Rubin next to meet growing demand. Thank you to our creators and customers for building with us every day, and to everyone at Higgsfield whose work brought us here. The full Bloomberg Announcement is linked below.