[986aignan]

It is possible to take this too far, though - consider the OpenAI IMO proofs[1], for instance, and compare them to Gemini's.[2]

[1] https://github.com/aw31/openai-imo-2025-proofs

[2] https://arxiv.org/pdf/2507.15855 Appendix A