5 ms·
The proofs were published on GitHub for inspection, along with some details (generated within the time limit, by a system locked before the problems were releas
by aluminum96 1y ago
The proofs were published on GitHub for inspection, along with some details (generated within the time limit, by a system locked before the problems were released, with no external tools).
https://github.com/aw31/openai-imo-2025-proofs/tree/main https://github.com/aw31/openai-imo-2025-proofs/tree/main