Agreed totally. When past computer-assisted proofs were published, nobody (or hardly anyone) waxed about this being evidence of Rocq or Coq as superintelligent or even conscious beings of some kind, as people have said about LLMs.