¡Tao Zhexuan apoya!¡La Olimpiada de Matemáticas de IA está aquí, con un premio de 5 millones de dólares estadounidenses, buscando un modelo grande que pueda ganar la medalla de oro de la OMI

Fuente del artículo: qubits

Fuente de la imagen: Generada por Unbounded AI

La Olimpiada Matemática Internacional de la OMI, especialmente creada para la IA, ya está aquí:

¡Eso es la friolera de 10 millones de dólares!

La competencia afirma ser “en nombre del nuevo Test de Turing”, ¿cómo comparar?

PK se enfrenta cara a cara con los genios matemáticos más inteligentes de la humanidad y gana la medalla de oro del mismo nivel.

No subestimes este evento, incluso el maestro de matemáticas Tao Zhexuan está aquí y lo recomienda en el sitio web oficial:

Esta competencia proporciona un punto de referencia para identificar las estrategias de resolución de problemas de la IA, que es exactamente lo que necesitamos en este momento.

Tan pronto como salió la noticia, los internautas estaban bastante emocionados.

Como dijo el presidente de la OMI: ¿Qué modelo puede competir con la ola de jóvenes más brillante del mundo?

El llamado “debajo de la recompensa, debe haber un hombre valiente”, la IA con su propio camino es realmente emocionante.

AI participa en IMO con un máximo de 5 millones de dólares

La abreviatura de esta competición es AI-MO.

Su intención original es promover la capacidad de razonamiento matemático de los grandes modelos lingüísticos y fomentar el desarrollo de nuevos modelos de IA que puedan igualar el más alto nivel de matemáticas humanas (competencia IMO).

¿Por qué elegir IMO como punto de referencia?

Los temas de la OMI generalmente se dividen en cuatro categorías: álgebra, geometría, teoría de números y combinatoria, que no requieren conocimientos matemáticos avanzados, pero requieren que los participantes tengan la forma correcta de pensar y conocimientos matemáticos.

Las estadísticas muestran que sus medallistas de oro tienen 50 veces más probabilidades de ganar la Medalla Fields que el graduado promedio de doctorado de Cambridge.

Además, la mitad de los ganadores de la Medalla Fields han competido en competiciones de la OMI.

Sobre la base de esta competencia, esta competencia AI-MO dedicada a la IA se abrirá a principios de 2024.

El comité organizador requiere que los modelos de IA participantes procesen las preguntas en el mismo formato que los concursantes humanos, y que generen respuestas finales legibles por humanos, que luego serán calificadas por un panel de expertos utilizando los estándares de la OMI.

Los resultados se anunciarán en el 65º Congreso de la OMI que se celebrará en Bath (Reino Unido) en julio del próximo año.

Al final, la IA que alcance el nivel oro recibirá un gran premio de 5 millones de dólares.

Los modelos de IA restantes que “lograron hitos clave” compartirán los premios de progreso restantes, con un monto total de 5 millones de dólares.

Cabe mencionar que para poder optar al premio, los participantes deben cumplir con el acuerdo de intercambio público AI-MO, es decir, el modelo ganador debe ser de código abierto.

En cuanto a las reglas específicas, el comité organizador aún está deliberando, y el funcionario está reclutando a miembros del consejo asesor (especialmente matemáticos, expertos en IA y aprendizaje automático) y al director para liderar la competencia, todos los cuales son pagados y pueden ser completamente remotos, y no se sabe qué peces gordos se unirán.

Sin embargo, hay que tener en cuenta que AI-MO no es una competición oficial iniciada por la OMI.

El verdadero patrocinador es XTX Markets, una institución financiera no bancaria con sede en Londres que se dedica al comercio cuantitativo de aprendizaje automático.

Por lo menos, XTX Markets se centra en un héroe.

También había establecido una beca con la Universidad de Oxford el año pasado para alentar a las estudiantes a estudiar matemáticas.

En cuanto a la competencia en sí, algunos internautas también iniciaron una ola de especulaciones: ¿Qué modelo de IA es el más prometedor?

GPT-4 con el plug-in Wolfram fue el primero en ser sacado, pero también fue el primero en ser vertido agua fría.

Sin embargo, OpenAI detrás de ella sigue siendo la favorita (aunque las grandes empresas tecnológicas no son el público objetivo de la competencia).

Algunos internautas pesimistas afirmaron directamente:

Es genial, pero nadie debería poder hacerlo en cinco años.

Al mismo tiempo, también se argumenta que:

No es difícil entrenar un modelo de este tipo, pero es difícil obtener y procesar datos, después de todo, estos problemas involucran no solo texto, sino también muchas imágenes y símbolos con significados complejos.

Todo se revelará en 2024.

Vale la pena mencionar que AI-MO no es la primera IA que desafía a la OMI.

En 2019, varios investigadores de universidades e instituciones como OpenAI, Microsoft, la Universidad de Stanford y Google ya habían lanzado un concurso llamado IMO Grand Challenge.

Nadie ha tenido éxito en el reto antes

El Gran Desafío de la OMI también es una competición creada para encontrar una IA que pueda ganar la medalla de oro de la OMI.

Echemos un vistazo a las 5 reglas para la IA en este juego de matemáticas:

Sobre el formato. Con el fin de garantizar el rigor y la verificabilidad del proceso de prueba, tanto el problema como la prueba deben realizarse de forma formal (verificable por máquina).

En otras palabras, el problema IMO se transformará en una expresión basada en el lenguaje de programación Lean y la entrada a la IA a través del demostrador del teorema Lean, y la IA también deberá escribir la prueba en el lenguaje de programación Lean.

Acerca de Puntuación. Cada pregunta de prueba de la IA se juzgará como verdadera o falsa en un plazo de 10 minutos, ya que este es también el tiempo para que el árbitro de la OMI puntúe. A diferencia de los humanos, no existe una “puntuación parcial” para la IA.

Acerca de los recursos. Al igual que los humanos, la IA necesita resolver 3 problemas en 4,5 horas al día (un total de 2 días), y no hay límite para los recursos informáticos.

Sobre la reproducibilidad. La IA debe ser de código abierto, y el modelo debe estar disponible públicamente y ser reproducible al final del primer día de la OMI. Requiere que la IA no pueda estar conectada a Internet.

Sobre el Reto en sí. El mayor desafío es lograr que la IA gane oro 🏅 como los humanos.

El concurso fue iniciado por 7 investigadores y matemáticos de IA:

Daniel Selsam de OpenAI, Leonardo de Moura de Microsoft, Kevin Buzzard del Imperial College, Reid Barton de la Universidad de Pittsburgh, Percy Liang de la Universidad de Stanford, Sarah Loos de Google AI y Freek Wiedijk de la Universidad de Radboud.

Ahora, cuatro años después, ha recibido la atención de algunos concursantes.

Sin embargo, aunque muchos investigadores de IA y matemáticas han intentado desafiar este campo, o un pequeño objetivo en el campo, todavía están lejos del objetivo final de ganar el campeonato de la IMO.

Incluso hubo una sugerencia de que debería haber un “modo simple” para este juego:

Por ejemplo, el investigador Xi Wang ha intentado utilizar varios solucionadores de SMT existentes para hacer preguntas reales en mi opinión, pero los resultados son mediocres.

En ese momento, la IA existente pudo demostrar algunos problemas IMO menos difíciles, como el teorema de Napoleón, que establece que si los lados de cualquier triángulo se usan como lados para hacer un triángulo regular hacia afuera, su línea central debe formar un triángulo regular.

Sin embargo, a la hora de demostrar algunos de los otros problemas reales, como el problema de geometría de la OMI 2019, los solucionadores existentes no pudieron hacerlo, o se trataba de media hora de prórroga.

Por ejemplo, los investigadores de OpenAI (que todavía estaban en Microsoft en ese momento) Dan Selsam y Jesse Michael Han también estudiaron durante un tiempo sobre “IA para resolver problemas de geometría IMO” y resumieron un blog.

En este blog se explica cómo se les ocurrió un solucionador de geometría y los pasos para diseñarlo, entre los que se incluyen:

Representaciones geométricas, resolución de restricciones, selección de algoritmos, arquitectura de solucionadores, desafíos y soluciones.

Las representaciones geométricas, por ejemplo, representan problemas geométricos en un formato que las computadoras pueden entender y procesar, y viceversa, incluido el uso de solucionadores geométricos para convertir automáticamente lenguajes de programación en gráficos que son fáciles de leer para los humanos:

Además, también presenta cómo elegir el algoritmo de solución adecuado de acuerdo con los diferentes tipos de problemas de geometría de la OMI, etc.

Pero aun así, la publicación del blog no da una solución específica, solo afirma al final que “el solucionador tiene el potencial de lograr el objetivo de ganar el oro de la OMI”.

Por otra parte, los problemas de geometría a los que apuntan los retadores anteriores solo ocupan una cuarta parte de los tipos de problemas de la OMI (junto con el álgebra, la combinatoria y la teoría de números).

Aunque se ha lanzado durante 4 años, todavía no existe un verdadero “todoterreno de la OMI” de IA, pero como creador de esta idea, el IMO Grand Challenge todavía hace muchas olas en la industria.

Alex Gerko admite que el IMO Grand Challenge también fue la oportunidad para él de celebrar AI-MO:

¡Es hora de darle un poco de emoción al “AI Challenge IMO” en general!

Por supuesto, el premio en metálico de este AI-MO ha atraído la atención de los organizadores del IMO Grand Challenge y de muchos retadores:

Me pregunto si realmente habrá una IA en la industria que pueda resolver problemas matemáticos difíciles y superar con éxito a muchos humanos para ganar la medalla de oro de la OMI impulsada por el dinero 💰.

A juzgar por la fuerza actual, ¿qué empresa de IA cree que tiene más probabilidades de tomar la delantera?

Enlaces de referencia:
[1]
[2]
[3]