Index
Grant 8RG6-z6DjR
Verdictpartial85%
1 check · 4/29/20261 → partial
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 checkpartial85%Haiku 4.5 · 4/9/2026
NoteThe 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.
Case № 8RG6-z6DjRFiled 4/29/2026Confidence 85%