Researchers are already significantly improving on OpenAI’s recent math results, verified in Lean

Researchers are making significant improvements to OpenAI's recent math results, with these advancements being verified in Lean. This progress challenges the notion that "slop proofs" offer no valuable learning. The work is publicly available on GitHub, indicating an open approach to development and verification within the community.

This report highlights how researchers are already improving on OpenAI's recent math results, unlike previous instances where such proofs were dismissed as "slop."