AI article
700 manuscripts, 48 hours, three withdrawals. The verifier won.
Community description: 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.
Dev.to | Oct 8, 2026 | Sam LABBE
Automated excerpt
The three results had been public for roughly forty-eight hours. Publication first, verification on a rolling schedule. Commenters tracking the repository report roughly 42% of top-line results now carry full Lean formalization.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.