Grant: Formal Certification Technologies for AI Safety (Manifund → Mirco Giacobbe)
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.
Our claim
entire record- Name
- Formal Certification Technologies for AI Safety
- Amount
- $128,000
- Currency
- USD
- Date
- November 20, 2025
- Notes
- [Science & technology, Technical AI safety, AI governance] Developing the software infrastructure to make AI systems safe, with formal guarantees
Source evidence
1 src · 1 checkNoteThe 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.