Seemingly none are vetted and reviewed yet
That's our job.
No it’s OpenAI’s job. They are acting as a meat proxy
"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.
Ain't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work.
Not just maths
In SWE as well - this is what I do most of the day
Always has been
Most are formalized in Lean, about 80% of what I checked
That's our job.
No it’s OpenAI’s job. They are acting as a meat proxy
"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.
Ain't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work.
Not just maths
In SWE as well - this is what I do most of the day
Always has been
Most are formalized in Lean, about 80% of what I checked