¡Felicidades al equipo de GDM por su resultado en el IMO! Creo que su éxito paralelo destaca lo rápido que avanza la IA. Su enfoque fue un poco diferente al nuestro, pero creo que eso demuestra que hay muchas direcciones de investigación para un mayor progreso. Algunas reflexiones sobre nuestro modelo y resultados 🧵

Hace aproximadamente 2 meses, el IMO nos envió un correo electrónico sobre la participación en una versión formal (Lean) del IMO. Nos hemos centrado en el razonamiento general en lenguaje natural sin las limitaciones de Lean, por lo que declinamos. Nunca se nos acercó sobre una opción de matemáticas en lenguaje natural.

En los últimos meses, hemos avanzado mucho en razonamiento general. Esto implicó recopilar, curar y entrenar con datos matemáticos de alta calidad, que también se utilizarán en futuros modelos. En nuestra evaluación de IMO no utilizamos RAG ni ninguna herramienta.

Antes de compartir nuestros resultados, hablamos con un miembro de la junta de la IMO, quien nos pidió que esperáramos hasta después de la ceremonia de premiación para hacerlo público, una solicitud que honramos con gusto.

Anunciamos alrededor de la 1 a.m. PT (6 p.m. AEST), después de que concluyó la ceremonia de premiación. En ningún momento alguien solicitó que anunciáramos más tarde que eso.

Más que nada, estamos emocionados de compartir nuestro progreso y resultados con el mundo. Las capacidades de razonamiento de la IA están avanzando rápidamente, y estos resultados IMO realmente lo demuestran.