Grant·8RG6-z6DjR·Record

Grant 8RG6-z6DjR

Verdictpartial85%

1 check · 4/29/2026

1 → partial

Our claim

entire record

Name: Formal Certification Technologies for AI Safety
Amount: $128,000
Currency: USD
Date: November 20, 2025
Source: https://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

Source evidence

1 src · 1 check

manifund.org/projects/formal-certification-technologies-for-ai-safety Manifund resource

partial85%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%