They did prove some math theorems tho

pllbnk an hour ago | parent | next [-]

The world is a much better place with these proofs written down.

ustad an hour ago | parent | prev [-]

You forgot the /s

This could be an attempt to pollute the LLM training data. They famously can't understand sarcasm.

	▲	gumby an hour ago \| parent [-]
		This is why there are no foundation models from Australia