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.
|
etiquetas: ia , gemini , google , deep mind
¡Por el culo te la hinco!
Alcanzamos en valle inquietante...
www.meneame.net/m/actualidad/openai-gana-oro-olimpiada-internacional-m