Post #3960959

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?