Business
CORRECTING and REPLACING Backed by OpenAI, Tesla, and SpaceX Investors, Midas Is Building Mathematical Infrastructure to Secure AI Systems
NEW YORK, February 10, 2026--Backed by OpenAI, Tesla, and SpaceX Investors, Midas Is Building Mathematical Infrastructure to Secure AI Systems
About this update from Tesla, Inc.
[{"type":"image","alt":"","displaySize":"","headline":null,"caption":"","credit":null,"className":"","disableSlideshowImg":false,"size":{"original":{"width":480,"height":480,"url":"https://media.zenfs.com/en/business-wire.com/09ac6a30df0ca7bc6e789919c24a80bf"},"resized":{"url":"https://s.yimg.com/ny/api/res/1.2/5buePhi_Y_w2PCkNsk.fiQ--/YXBwaWQ9aGlnaGxhbmRlcjt3PTk2MDtoPTk2MDtjZj13ZWJw/https://media.zenfs.com/en/business-wire.com/09ac6a30df0ca7bc6e789919c24a80bf","width":480,"height":480},"resize_sm":{"url":"https://s.yimg.com/ny/api/res/1.2/N7H4tJNH4X_aDooXsPf3YA--/YXBwaWQ9aGlnaGxhbmRlcjt3PTY0MDtoPTY0MDtjZj13ZWJw/https://media.zenfs.com/en/business-wire.com/09ac6a30df0ca7bc6e789919c24a80bf","width":480,"height":480}},"lazy":false},{"type":"text","content":"World’s Leading Mathematicians Unveil Platform to Transform AI from Plausible to Provable","length":89,"tagName":"p","attribs":{}},{"type":"text","content":"NEW YORK, February 10, 2026--(BUSINESS WIRE)--Please replace the release dated February 5, 2026 with the following corrected version due to multiple revisions.","length":159,"tagName":"p"},{"type":"text","content":"The updated release reads:","length":26,"tagName":"p"},{"type":"text","content":"BACKED BY OPENAI, TESLA, AND SPACEX INVESTORS, MIDAS IS BUILDING MATHEMATICAL INFRASTRUCTURE TO SECURE AI SYSTEMS","length":113,"tagName":"p","attribs":{}},{"type":"text","content":"World’s Leading Mathematicians Unveil Platform to Transform AI from Plausible to Provable","length":89,"tagName":"p","attribs":{}},{"type":"text","content":"Midas, a company that uses mathematical verification to make artificial intelligence systems reliable and secure, today announced its public launch after closing a $10 million funding round led by Nova Global.","length":209,"tagName":"p"},{"type":"text","content":"The company is backed by investors behind OpenAI, Tesla, and SpaceX, signaling early confidence from institutions with direct experience building some of the most consequential technology companies in the world.","length":211,"tagName":"p"},{"type":"text","content":"Midas is formed by 11 medalists from the International Mathematical Olympiad (IMO) and the International Olympiad in Informatics (IOI), the most selective academic competition in the world, where countries are allowed to send only a handful of participants each year. The team brings experience from Jane St...