Naši matematiki med prejemniki prestižnih sredstev za projekt BRIDGE
Date of publication: 19. 9. 2025
General news
Slovenski raziskovalci so dosegli izjemen uspeh na mednarodni ravni. Projekt BRIDGE (Bridging AI, Proof Assistants, and Mathematical Data), pri katerem sodelujejo Andrej Bauer, Primož Potočnik, Ljupčo Todorovski in Katja Berčič (vsi UL FMF, IMFM) ter Daniel Ahman z Univerze v Tartuju, je bil izbran med financirane projekte v okviru novega sklada AI for Math Fund Mednarodne fundacije Renaissance Philanthropy.
Projekt BRIDGE si prizadeva povezati umetno inteligenco, orodja za formalne dokaze in matematične podatkovne baze. Ekipa bo razvila velike podatkovne nize, grafe odvisnosti formaliziranih izrekov in priporočilne sisteme, ki bodo matematikom in sistemom umetne inteligence omogočili učinkovitejše sodelovanje pri dokazovanju in odkrivanju novih matematičnih struktur.
Med 280 prijavljenimi projekti z vsega sveta je bilo izbranih le 29 najboljših, vsak s financiranjem do 1 milijona USD. Med prejemniki so poleg slovenskih raziskovalcev tudi ugledne univerze, kot so Univerza v Edinburgu, Imperial College London in UC Berkeley, ter raziskovalci, kot je Fieldsov nagrajenec Timothy Gowers.
Več na povezavi tukaj.
Čestitamo!
