Het AI for Math Fund wordt beheerd door de Amerikaanse non-profitorganisatie Renaissance Philanthropy, in samenwerking met het in Londen gevestigde XTX Markets.

De wiskundige gemeenschap bevindt zich op een keerpunt door de opkomst van krachtige mogelijkheden op basis van Large Language Models (LLM's), niet alleen voor het genereren van bewijzen maar ook voor de validatie ervan.
Binnen het tweejarige project "CombLib: AI-Aided Formalization in Free Open Access Publishing" worden door onderzoekers aangestuurde, door AI ondersteunde protocollen ontwikkeld voor de validatie en curatie van onderzoek in het wiskundige deelgebied van de combinatoriek.
Het team gaat een prototype ontwikkelen dat een open-source repository koppelt aan een open-access tijdschrift; beide maken gebruik van door AI ondersteunde bewijsverificatie.

Zowel Guo als Kang hebben redactionele en bestuurlijke functies bekleed bij wiskundige tijdschriften op het gebied van combinatoriek die werken volgens het 'diamond open access'-model (zoals Combinatorial Theory, Electronic Journal of Combinatorics en Innovations in Graph Theory).
Het team zet zich in voor het versterken van de principes van door de gemeenschap gedreven open science en eerlijke open toegang in een nieuw tijdperk dat wordt gevormd door wiskundige ontdekkingen met behulp van AI.

Het AI for Math Fund werd in december 2024 gelanceerd om projecten en initiatieven te ondersteunen die AI en machine learning toepassen binnen de wiskunde.
In deze tweede jaarlijkse ronde van grote subsidies werd in totaal 17,1 miljoen dollar toegekend. CombLib was een van de 22 projecten die werden geselecteerd uit meer dan 400 ingediende voorstellen.
Eerdere ontvangers zijn onder meer vooraanstaande wiskundigen zoals Kevin Buzzard, Timothy Gowers en Maryna Viazovska. Dit is de eerste subsidie ​​die door het fonds wordt toegekend aan onderzoekers die in Nederland werkzaam zijn.