700 manuscripts, 48 hours, three withdrawals. The verifier won.
OpenAI published hundreds of AI-produced math results before fully formalizing them. Two days later, three are gone — and that is the system working, not failing.
→ https://blog.slabb.dev/en/700-manuscripts-48-hours-three-withdrawals-the-verifier-won
Journal de bord700 manuscripts, 48 hours, three withdrawals. The verifier won.OpenAI published hundreds of AI-produced math results before fully formalizing them. Two days later, three are gone — and that is the system working, not failing.
commit ee08b4e