EdTech Innovation Hub reports that Renaissance Philanthropy and XTX Markets have added $17.1 million to the AI for Math Fund, taking total commitments to $35.1 million. The 2026 Core Grants round was expected to hand out $10.5 million but was expanded after more than 470 applications, and will fund 22 proposals across 30 organizations with grants of $100,000 to $1 million over 12 to 24 months. Funded work includes AI-assisted theorem proving, research infrastructure and datasets, and open-source tooling such as TorchLean, which connects machine learning to the Lean proof checker, plus a browser-based visual proof environment for inspecting and editing long formal proofs.
AI for Math Fund grows to $35.1m with new grants for open-source math tools
EdTech Innovation Hub reports that Renaissance Philanthropy and XTX Markets have added $17.1 million to the AI for Math Fund, taking total commitments to $35.1 million. The 2026 Core Grants round was expected to hand out $10.5 million but was expanded after more than 470 applications, and will fund 22 proposals across 30 organizations with grants of $100,000 to $1 million over 12 to 24 months. Funded work includes AI-assisted theorem proving, research infrastructure and datasets, and open-source tooling such as TorchLean, which connects machine learning to the Lean proof checker, plus a browser-based visual proof environment for inspecting and editing long formal proofs.
Source: Edtechinnovationhub