Metadata
| Source Table | grants |
| Source ID | 8RG6-z6DjR |
| Description | to Mirco Giacobbe, USD 128000, 2025-11-20 |
| Source URL | manifund.org/projects/formal-certification-technologies-for-ai-safety |
| Parent | Manifund |
| Children | — |
| Created | Mar 12, 2026, 4:59 PM |
| Updated | Mar 14, 2026, 6:22 AM |
| Synced | Mar 12, 2026, 4:59 PM |
Record Data
id | 8RG6-z6DjR |
organizationId | Manifund(organization) |
granteeId | Mirco Giacobbe |
orgEntityId | Manifund(organization) |
orgDisplayName | — |
granteeEntityId | — |
granteeDisplayName | Mirco Giacobbe |
name | Formal Certification Technologies for AI Safety |
amount | 128000 |
currency | USD |
period | — |
date | 2025-11-20 |
status | — |
source | manifund.org/projects/formal-certification-technologies-for-ai-safety |
notes | [Science & technology, Technical AI safety, AI governance] Developing the software infrastructure to make AI systems safe, with formal guarantees |
programId | 8jnn54YEbQ |
dataSourceId | — |
Source Check Verdicts
partial85% confidence
Last checked: 4/9/2026
The source confirms the grant name, funder (Manifund), grantee (Mirco Giacobbe), and amount ($128,000). However, the claimed date of 2025-11-20 (November 20, 2025) is not explicitly stated in the source text. The source shows a Wayback Machine capture dated 2026-01-01 and displays calendar elements showing Dec/Jan/Feb and years 2025/2026/2027, but does not provide a specific grant date. The record is otherwise accurate but incomplete regarding the date field.
Debug info
Thing ID: 8RG6-z6DjR
Source Table: grants
Source ID: 8RG6-z6DjR
Parent Thing ID: sid_fFVOuFZCRf