Slovenski matematiki pridobili sredstva za projekt BRIDGE
Mednarodna fundacija Reneissance Philantropy, ki se zgleduje po mecenih renesančnih mojstrov, kot sta bila Leonardo da Vinci in Galileo Galilei, je v decembru 2024 oblikovala sklad AI for Math Fund z namenom financiranja projektov, ki uporabljajo umetno inteligenco in strojno učenje v namen razvoja matematične znanosti. Med izbranimi je tudi projekt BRIDGE (Bridging AI, Proof Assistants, and Mathematical Data), v katerem sodelujejo slovenski raziskovalci Andrej Bauer, Primož Potočnik, Ljupčo Todorovski in Katja Berčič iz Univerze v Ljubljani ter Daniel Ahman iz Univerze v Tartuju. Njihov cilj je povezati umetno inteligenco, orodja za formalne dokaze in matematične podatkovne baze. Projekt bo razvil velike podatkovne nize, graf odvisnosti formaliziranih izrekov in priporočilne sisteme, ki bodo matematikom in AI-sistemom omogočali učinkovitejše sodelovanje pri dokazovanju in odkrivanju novih struktur.
V prvem sklopu bo financiranih 29 projektov, ki jih je izmed 280 projektov raziskovalnih skupin iz vsega sveta izbrala skupina 15 ekspertov. Izbrani projekti bodo prejeli do 1 milijon USD na projekt. Novica o tem je bila objavljena 17. septembra 2025. Od drugih izbranih projektov omenimo še projekte Sketchpad (Univerza v Edinburgu), Formalizing Modern Theorems (Imperial College London) in LeanTutor (UC Berkeley). Finančna sredstva v skupnem znesku 18 milijonov USD je prispevalo podjetje XTX Markets, ki je na podlagi kvalitete prijav podvojilo prvotno načrtovani znesek. Pobuda se povezuje tudi z osebnimi donacijami ustanovitelja XTX Markets Alexa Gerka, ki je po 5 milijonov dolarjev namenil razvoju Lean FRO in odprtokodne knjižnice Mathlib, obeh ključnih za prihodnost formalizirane matematike.
Slovenskim kolegom, med katerimi je tudi prejšnji predsednik DMFA Slovenije prof. dr. Primož Potočnik, iskreno čestitamo in želimo veliko uspeha pri njihovem delu!
