There is no branch of mathematics, however abstract, which may not some day be applied to phenomena of the real world.
Nikolai LobatchevskyAkcije dokumenta
Prof. dr. Andrej Bauer - Financiranje projekta s strani "The AI for Math Fund"
Projekt financira neprofitna korporacija Reneissance Philanthropy iz ZDA.
The AI for Math Fund - Sklad za umetno inteligenco za matematiko je program nepovratnih sredstev, ki podpira projekte, ki uporabljajo umetno inteligenco in strojno učenje v matematiki. Prizadeva si pospešiti tempo in vpliv odkrivanja matematike s podporo projektom, ki so pomembni za to področje. Ustanovni donator sklada AI for Math Fund je XTX Markets.
Več o programu si lahko preberete tukaj.
Prof. dr. Andrej Bauer z Oddelka za teoretično računalništvo IMFM se je na razpis prijavil ter bil s predlogom projekta uspešen.
Naslov projekta: Bridging AI, Proof Assistants, and Mathematical Data (BRIDGE)
Trajanje projekta: 01.07.2025 - 30.09.2027
Opis/cilj projekta: Projekt bo ustvaril in pripravil obsežne matematične nabore podatkov ter grafe odvisnosti, pridobljene iz knjižnic formalizirane matematike. Ti strukturirani viri bodo poganjali orodja na osnovi umetne inteligence za formalizacijo in raziskovanje matematičnih struktur ter dokazov, vključno s priporočilnim sistemom in orodji za uporabniško vodeno matematično odkrivanje.