3 ms·
Example of proof from AlphaProof system: https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P6/index.html https://storage.google
by riku_iki 2y ago
Example of proof from AlphaProof system: https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P6/index.html https://storage.googleapis.com/deepmind-media/DeepMind.com/B...