Resolves YES if there is a grant to MIRI by Coefficient Giving dated to between the start of 2026 and the end of 2028 listed on Coefficient Giving's site at the time when the first grant from 2029 is listed, or if Coefficient Giving no longer lists some grants but it is a matter of public record that CG has made such a grant.

Grants made by Dustin Moskovitz, Cari Tuna, or other people tied to Coefficient Giving in their personal capacities rather than through CG do not count for the purposes of resolution.