OpenAI Withdraws Three Math Results
OpenAI math results update: six new Lean formalizations, 19 revisions, and three withdrawals leave about 42% of top-line results formalized.
Tag
# formal proofs
1 post with this tag.
Tag
1 post with this tag.
OpenAI math results update: six new Lean formalizations, 19 revisions, and three withdrawals leave about 42% of top-line results formalized.