Archimedes comments on A system overview for near-term, low-trust AI compute verification