grantmaking.ai kickoff grant round
$1M / $1M distributed
List your project
← All grants
grantmaking.ai Launch Round grant
Amount:
$15,000
Date Awarded:
Jul 25, 2026
Details
Funder
grantmaking.ai
Recipient
Formalizing mathematical AI safety research in Lean
Purpose
grantmaking.ai Launch Round grant
Source
-
Metadata
Created
Jul 25, 2026, 6:27 PM UTC
Round
launch
grantmaking.ai Launch Round grant | grantmaking.ai