Carnegie Mellon University krijgt federaal geld om een nieuwe onderneming te creëren in kunstmatige intelligentie-ondersteunde wiskunde, een van de zes van dergelijke programma’s in het hele land.
De National Science Foundation toekent $ 6,6 miljoen aan CMU om het Instituut voor computerondersteunde redenering in de wiskunde te starten. De Simons Foundation biedt extra geld.
De aankondiging komt minder dan een maand nadat CMU een AI- en Energy Summit had georganiseerd waar president Donald Trump de eregast was. Het evenement trok protesten van studenten, medewerkers en politici die de universiteit bekritiseerden voor het verwelkomen van Trump nadat hij en zijn administratie financiering voor onderzoek en hoger onderwijs hadden gehaald en ander beleid hadden vastgesteld dat de groepen schadelijk werden.
Maar het instituut is al jaren in de maak. Het voorstel voor financiering werd in maart vorig jaar aan de NSF ingediend. NSF heeft al meer dan 40 jaar wiskundige wetenschapsonderzoeksinstituten gefinancierd.
Prasad Tetali, die leidt tot de afdeling Wiskundige wetenschappen bij CMU en heeft geholpen het voorstel voor ICARM te schrijven, hoopt dat AI kan worden gebruikt om geavanceerde wiskunde toegankelijker te maken door instructie aan te bieden die is afgestemd op het begrip van elke studenten.
“Dus het is alsof je voor een computer zit die probeert stellingen te bewijzen, maar het hebben van een hele bibliotheek in je hersenen en je zou ermee kunnen communiceren,” zei Tetali.
Tetali zei dat AI is gevorderd om wiskundeproblemen op te lossen die al antwoorden hebben gekend.
“De volgende uitdaging, waarnaar ons instituut hopelijk zal bijdragen, is het oplossen van problemen met het onderzoeksniveau,” zei Tetali. “Dus die interactie is de sleutel. Je hebt wiskundigen nodig die de juiste vragen zullen stellen.”
Hij voegde eraan toe dat deze financiering een investering is in ontdekking en fundamenteel onderzoek, dus de mogelijke eindresultaten van het driejarige pilootproject zijn niet bekend.
Het heeft het potentieel om problemen op te lossen bij verschillende onderwerpen, waaronder cybersecurity, financiën, ruimte en gezondheidszorg. Eerder wiskundeonderzoek gefinancierd door NSF heeft de snelheid en nauwkeurigheid van MRI -beeldvorming verbeterd.
Wanneer onderzoek wordt gefinancierd door de overheid en stichtingen, zei Tetali dat de motivatie erachter minder winstgestuurd is.
“Dat geeft ons dan de luxe aan (zeg) hoe willen we dit echt ontwikkelen? Wat zijn de problemen die het waard zijn om naar de machine te gaan? En wat zijn de technologieën die het waard zijn om de volgende generatie te introduceren, niet alleen omdat we een product willen verkopen,” zei hij.
Maar Tetali voegde eraan toe dat hij hoopvol is dat het hebben van dit onderzoek in Pittsburgh nieuwe startups en investeringen in het gebied zou kunnen aantrekken.
