5 ms·
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/ope
by 986aignan 1y ago
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 https://github.com/aw31/openai-imo-2025-proofs
[2] https://arxiv.org/pdf/2507.15855 https://arxiv.org/pdf/2507.15855 Appendix A