Comment by tootie 1 day ago Seemingly none are vetted and reviewed yet 8 comments tootie Reply mulemisterX 1 day ago That's our job. esafak 1 day ago Ain't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work. kozikow 1 day ago Not just mathsIn SWE as well - this is what I do most of the day zeroonetwothree 1 day ago Always has been TeeWEE 1 day ago No it’s OpenAI’s job. They are acting as a meat proxy red75prime 21 hours ago "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. schleck8 1 day ago Most are formalized in Lean, about 80% of what I checked
mulemisterX 1 day ago That's our job. esafak 1 day ago Ain't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work. kozikow 1 day ago Not just mathsIn SWE as well - this is what I do most of the day zeroonetwothree 1 day ago Always has been TeeWEE 1 day ago No it’s OpenAI’s job. They are acting as a meat proxy red75prime 21 hours ago "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.
esafak 1 day ago Ain't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work. kozikow 1 day ago Not just mathsIn SWE as well - this is what I do most of the day zeroonetwothree 1 day ago Always has been
TeeWEE 1 day ago No it’s OpenAI’s job. They are acting as a meat proxy red75prime 21 hours ago "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.
red75prime 21 hours ago "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.
That's our job.
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
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.
Most are formalized in Lean, about 80% of what I checked