Zac Hatfield-Dodds comments on January-February 2025 Progress in Guaranteed Safe AI