DOGE lists $541,590 in claimed savings from Department of Defense grant cut

DOGE listed this Department of Defense grant record as cut on 2025-05-13, with $541,590 in claimed savings. Recipient: PRESIDENT AND FELLOWS OF HARVARD COLLEGE. Description: TOWARD MATHEMATICAL INTELLIGENCE AND CERTIFIABLE AUTOMATED REASONING: FROM THEORETICAL FOUNDATIONS TO EXPERIMENTAL REALIZATION. Principle treats this as an official DOGE claim until independently verified against USAspending, agency records, court filings, or watchdog findings.