A generating function is a clothesline on which we hang up a sequence of numbers for display.
Herbert S. WilfAkcije 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.