AI acaba de ganar el oro en la Olimpiada Internacional de Matemáticas 🥇
Los modelos de OpenAI y Google resolvieron 5/6 problemas utilizando LLM de propósito general bajo reglas de examen reales.
La era de AGI para las matemáticas formales ha comenzado 👇
Ganar el oro significa anotar 35/42. Es un nivel alcanzado por solo un puñado de estudiantes de secundaria de élite en todo el mundo.
Tanto los modelos de OpenAI como los de Google dan en el blanco.
Sin calculadoras. Sin búsqueda. Solo razonamiento en lenguaje natural.
Gemini 2.5 de Google usó el modo "Deep Think":
- Soluciones exploradas en paralelo
- Entrenado en estrategias de prueba y corpus matemáticos
- Utilizó el aprendizaje por refuerzo en tareas de razonamiento de varios pasos
Sus pruebas estaban tan pulidas que los calificadores de la OMI las llamaron publicables.
El modelo de OpenAI no fue entrenado para la OMI.
Utilizó:
- Técnicas generales de RL
- Sin Internet ni herramientas
- Pruebas de lenguaje natural
OpenAI hizo que cada prueba fuera calificada de forma independiente por 3 ex medallistas de la OMI, con consenso unánime.
El modelo incluso sabía cuándo no tenía una respuesta válida para P6 ... mostrando sus habilidades en el razonamiento, la verificación de errores y la autoconciencia.
Creemos que el mayor impacto de la IA puede estar en las matemáticas.
¿Por qué? Porque las matemáticas impulsan todo, desde la lógica DeFi hasta la seguridad del protocolo, y son verificables.
Las IA que razonan como los Medallistas Fields remodelarán la forma en que construimos.
En los próximos años, esperamos que la IA:
• Matemáticas perfectas a nivel de escuela secundaria y universidad (IMO, Putnam)
• Resolver problemas de investigación avanzada
• Contribuir a las pruebas formalizadas de teoremas fundamentales
• Escala matemáticas colaborativas y descentralizadas
Vemos un futuro en el que las matemáticas no solo están automatizadas, sino que están democratizadas, no son confiables y se pueden compone. 💙
3.23 K
72
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.