4-month salary for finding and characterising provably hard cases for mechanistic anomaly detection | grantmaking.ai