Seemingly none are vetted and reviewed yet

That's our job.

TeeWEE 2 hours ago | parent | next [-]

No it’s OpenAI’s job. They are acting as a meat proxy

	▲	red75prime an hour ago \| parent [-]
		"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 3 hours ago | parent | prev [-]

Ain't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work.

	▲	kozikow 3 hours ago \| parent \| next [-]
		Not just maths In SWE as well - this is what I do most of the day
	▲	zeroonetwothree 2 hours ago \| parent \| prev [-]
		Always has been

schleck8 3 hours ago | parent | prev | next [-]

Most are formalized in Lean, about 80% of what I checked

3 hours ago | parent | prev [-]

[deleted]