Reposted by @nedben.bsky.social

and then for the ones that do have certs it's like. is the proof laid out in this 197 page paper the same as the proof that has been encoded & checked in lean? how strong a guarantee do we have of that? would we be better off ditching the paper & just reading the lean?
github.com/openai/math/...