​Following years of fundraising, acquisitions, and expansion, food delivery startup Wonder is moving closer to becoming a publicly traded company.  

​As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.  

​Bluesky CEO Toni Schneider said posts and likes doubled during to the U.S. midterm elections on Tuesday.  

​Zipline raised $1.5 billion and ramped up its partnership with Walmart.  

​The app will offer personalized product recommendations, shopping through live streams and short-form videos, app-exclusive deals, in-app checkout, order tracking and customer support.  

​The deal is expected to support the development of DBX Agent Cloud, a new storage platform aimed at developers building AI models and agents.  

​The move puts Edits in more direct competition with ByteDance’s CapCut, the video-editing app Meta sought to challenge when it launched Edits last year.  

​ElevenLabs said more than 25 million tracks have been generated using its music models.  

​[[{“value”:” Twice a month the NC STEM Center publishes an e-update on what’s happening in STEM education throughout North Carolina, and their latest edition is now available. View NC STEM e-Update in your browser by clicking here. Not receiving an e-update? Opt-in and subscribe at the NC STEM Center and get your personalized copy sent directly to your email inbox….

​Aina’s ring can also take calls and help you dictate notes on your Mac.