Universitatea Carnegie Mellon primește bani federali pentru a crea o nouă aventură în matematica asistată de inteligență artificială, unul dintre cele șase astfel de programe din toată țara.
Fundația Națională de Știință acordă 6,6 milioane de dolari CMU pentru a începe Institutul pentru raționament asistat de computer în matematică. Fundația Simons oferă fonduri suplimentare.
Anunțul vine la mai puțin de o lună după ce CMU a găzduit un summit AI și energie în care președintele Donald Trump a fost invitatul de onoare. Evenimentul a atras proteste din partea studenților, a personalului și a politicienilor care au criticat Universitatea că l -au întâmpinat pe Trump după ce el și administrația sa au obținut finanțare pentru cercetare și învățământ superior și au adoptat alte politici pe care grupurile le -au considerat dăunătoare.
Dar institutul este în lucrări de ani buni. Propunerea de finanțare a fost transmisă la NSF în martie anul trecut. NSF a finanțat institutele de cercetare matematică de știință de mai bine de 40 de ani.
Prasad Tetali, care conduce Departamentul de Științe Matematice la CMU și a ajutat la scrierea propunerii pentru Icarm, speră că AI poate fi folosită pentru a face matematica avansată mai accesibilă oferind instrucțiuni adaptate pentru înțelegerea fiecărui elev.
„Deci este ca și cum ai sta în fața unui computer care încearcă să dovedească teoreme, dar ai o întreagă bibliotecă în creierul tău și ai putea interacționa cu acesta”, a spus Tetali.
Tetali a spus că AI a avansat pentru a putea rezolva probleme de matematică care au deja răspunsuri cunoscute.
„Următoarea provocare, la care, cu speranță, va contribui, institutul nostru, este rezolvarea problemelor la nivel de cercetare”, a spus Tetali. „Deci, această interacțiune este esențială. Ai nevoie de matematicieni care vor pune întrebări corecte.”
El a adăugat că această finanțare este o investiție în descoperire și cercetare fundamentală, astfel încât rezultatele finale posibile ale proiectului pilot de trei ani nu sunt cunoscute.
Are potențialul de a rezolva problemele într -o serie de subiecți, inclusiv cibersecuritate, finanțe, spațiu și asistență medicală. Anterior, cercetarea matematică finanțată de NSF au îmbunătățit viteza și exactitatea imaginii RMN.
Atunci când cercetarea este finanțată de guvern și fundații, Tetali a spus că motivația din spatele acesteia este mai puțin bazată pe profit.
„Ceea ce ne oferă atunci luxul pentru a (spune) cum vrem cu adevărat să dezvoltăm acest lucru? Care sunt problemele care merită să le luați la mașină? Și care sunt tehnologiile care merită să le introduceți în următoarea generație, nu doar pentru că vrem să vindem un produs”, a spus el.
Dar, Tetali a adăugat că speră că această cercetare cu sediul în Pittsburgh ar putea atrage noi startup -uri și investiții în zonă.
