Midas, susținută de investitori OpenAI, Tesla și SpaceX, construiește infrastructura matematică pentru a securiza sistemele AI
Business Wire Joi, 5 februarie 2026, 23:11 GMT+8 Durata de citire: 3 minute
În acest articol: StockStory Top Pick NVDA -0.68% OPAI.PVT TSLA -3.22% GOOG -4.45% DUK +0.64%
Cei mai importanți matematicieni din lume dezvăluie platforma pentru a transforma AI-ul din plauzibil în demonstrabil
NEW YORK, 5 februarie 2026 --( BUSINESS WIRE )--Midas, o companie care folosește verificarea matematică pentru a face sistemele de inteligență artificială fiabile și sigure, a anunțat astăzi lansarea publică după încheierea unei runde de finanțare de 10 milioane de dolari condusă de Valor Equity Partners și Nova Global. Compania este susținută de investitori din spatele OpenAI, Tesla și SpaceX, semnalând încredere timpurie din partea instituțiilor cu experiență directă în construirea unora dintre cele mai importante companii de tehnologie din lume.
Midas este formată din 11 medaliați ai Olimpiadei Internaționale de Matematică (IMO) și ai Olimpiadei Internaționale de Informatică (IOI), cea mai selectivă competiție academică din lume, unde țările au voie să trimită doar o mână de participanți în fiecare an. Echipa aduce experiență de la Jane Street, Google, AWS, NVIDIA și Mercor, și experiențe academice de la Stanford, MIT, Cambridge, Princeton și Duke. Împreună, ei aplică verificarea matematică formală uneia dintre cele mai urgente probleme din AI: încrederea.
"AI-ul modern produce răspunsuri fluente și convingătoare, dar nu poate dovedi că sunt corecte", a declarat Shalim Monteagudo-Contreras, președinte și co-fondator al Midas. "Midas construiește bariera dintre ieșirile probabilistice și sistemele din lumea reală. Aplicăm corectitudinea matematic, astfel încât rezultatele nu sunt deduse, argumentate sau sperate, ci dovedite înainte de a li se permite să treacă."
Fluența nu este o proprietate pe care o poți audita. Dovada este.
Renzo Balcazar, CEO și co-fondator al Midas, a adăugat: "Fiecare instituție umană, de la drept la știință la finanțe, funcționează pe baza dovezilor. Inteligența artificială este prima formă de inteligență care funcționează fără ea."
AI-ul este prima inteligență implementată la scară fără o buclă de demonstrație. Produce rezultate fără explicații, încredere fără cauzalitate, ieșire fără dovezi. Pe măsură ce sistemele AI generează rezultate mai repede decât oamenii le pot evalua, era mașinilor plauzibile se apropie de sfârșit. Coerența este confundată cu corectitudinea. Fluența înlocuiește dovezile. Încrederea înlocuiește adevărul. Plauzibilitatea crește. Dovada nu, decât dacă este integrată în sistem.
Potrivit lui Rodrigo Porto, Tech Lead la Midas, verificarea raționamentului de la început, mai degrabă decât verificarea erorilor la sfârșit, este ceea ce face posibilă încrederea pe măsură ce sistemele devin prea complexe pentru revizuirea manuală. Midas introduce dovezi matematice în centrul AI, verificând ieșirile, datele și raționamentul, astfel încât aceste sisteme să poată fi de încredere acolo unde greșelile nu sunt o opțiune.
"Fiecare strat al ecosistemului AI a necesitat în cele din urmă propria sa infrastructură", a declarat John Stanton, vicepreședinte la Valor Equity Partners. "Verificarea este ultimul strat lipsă. Nu este vorba despre probabilități, ci despre dovezi. Ceea ce diferențiază Midas este cultura sa: o echipă antrenată să respingă răspunsurile 'aproape corecte' și să accepte doar ceea ce poate fi demonstrat."
Finanțarea permite Midas să traducă cercetarea formală de verificare în infrastructură de calitate pentru producție. Compania vizează deja implementări în biotehnologie, apărare, proiectare hardware, sisteme financiare și infrastructura AI și cloud subiacentă, medii în care corectitudinea trebuie să fie demonstrabilă.
Midas nu este un ciclu de produs. Este o corecție structurală. În aceste domenii, corectitudinea nu este o îmbunătățire. Este linia de bază.
"La Nova Global, ne concentrăm pe susținerea fondatorilor cu potențialul de a deveni figuri istorice", a declarat Carlo Agostinelli, fondatorul Nova Global. "Shalim Monteagudo-Contreras și Renzo Balcazar operează deja la acel nivel. Au construit o echipă de talie mondială de la zero și abordează una dintre cele mai fundamentale provocări din AI: încrederea. Abordarea lor nativă de asigurare a fiabilității AI demonstrează atât ambiția tehnică, cât și potrivirea fondator-piață, ceea ce transformă Midas într-o companie generațională."
Pentru mai multe informații, vizitați trymidas.ai .
Despre Midas
Midas construiește stratul de verificare pentru AI - infrastructură de încredere matematică care utilizează verificarea formală pentru a asigura corectitudinea demonstrabilă a ieșirilor AI și a datelor de antrenament. Fondată de o echipă de 10 medaliați IMO/IOI de la Cambridge, MIT, Princeton, Duke și Stanford, alături de ingineri seniori de la companii de tehnologie de top, Midas aplică matematica formală pentru a permite implementarea AI de întreprindere în sectoare critice, inclusiv biotehnologie, apărare, proiectare hardware și finanțe. Compania este susținută de Valor Equity Partners, Nova Global și alți investitori de nivel superior.
Vezi versiunea sursă pe businesswire.com: https://www.businesswire.com/news/home/20260205795947/en/
Contacte Contact de presă Luca Sesti Luca.Sesti@lcscomms.co