Replies to message #14,692

🔎 If you see an alert for analytics.usips.org, this is a self-hosted system I am running as a test. It is GDPR compliant and collects no invasive information.

I was referring to https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/

This is where I think ppl get derailed when things get labeled AI. Ppl have been using software to help them solve proofs since the 70s. LLMs are...