That's our job.
replyAin't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work.
replyNot just maths
replyIn SWE as well - this is what I do most of the day
Always has been
replyNo it’s OpenAI’s job. They are acting as a meat proxy
reply"If you have nothing to say, don't post a chatbot's responses, because anyone can ask the chatbot directly if they wanted to"-principle? Well, people can't ask their chatbot directly, because it's not public.
replyMost are formalized in Lean, about 80% of what I checked
replydeleted
reply