La versión avanzada de Gemini con Deep Think alcanza oficialmente la medalla de oro en la Olimpiada Internacional de Matemáticas [ENG]

Este logro representa un avance significativo con respecto al resultado innovador del año pasado. En IMO 2024, AlphaGeometry y AlphaProof requirieron que expertos tradujeran primero los problemas del lenguaje natural a lenguajes específicos del dominio, como Lean, y viceversa para las demostraciones. Esto también requirió de dos a tres días de computación. Este año, nuestro modelo avanzado Gemini funcionó de principio a fin en lenguaje natural, generando rigurosas demostraciones matemáticas directamente a partir de las descripciones oficiales.