Martin Leitgab comments on Technical Acceleration Methods for AI Safety: Summary from October 2025 Symposium