| ▲ | gabrimat 7 hours ago | |
Looks like those are new formalizations of existing proofs, not new ones | ||
| ▲ | fph 44 minutes ago | parent [-] | |
So a fair headline would be "OpenAI tried formalizing more of their proofs, and found 33% of them had a mistake". | ||
| ▲ | gabrimat 7 hours ago | |
Looks like those are new formalizations of existing proofs, not new ones | ||
| ▲ | fph 44 minutes ago | parent [-] | |
So a fair headline would be "OpenAI tried formalizing more of their proofs, and found 33% of them had a mistake". | ||