Alexander Gietelink Oldenziel comments on A Defense of Work on Mathematical AI Safety