Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

dave@dthompson@toot.cat (2026-07-20 22:29:46)
every time an llm assists in a math proof the AI boosters come out of the woodwork to shame the skeptics. okay but was it really worth making everyone's life worse for it?