Post

Upstater
@upstate.pub

Posting a bunch of half assed proofs, some unchecked by people or lean, in a big pdf is such an unserious way of operating. OpenAI is just not who I want leading the way in these times. They scare me