Yvonne Choquet-Bruhat obituary: mathematician who established that Einstein’s equations mirror the real world - Mihalis Dafermos (Nature, 2025)