Oliver Sourbut comments on A Defense of Work on Mathematical AI Safety