organization
Technical AI safety research
| Anton Makiievskyi | $15,000 | 100% | 1 |
| Date ↓ | Funder | Via | Amount | Cause | Source | Purpose |
|---|---|---|---|---|---|---|
| Aug 5, 2026 | Anton Makiievskyi | grantmaking.ai, Manifund | $15,000 | Foundations | manifund | Formalizing mathematical AI safety research in Lean |