Tan pronto como concluyeron los 66 Olímpicos Matemáticos (OMI) el fin de semana pasado, el investigador Aleksandar Wei, del US OpenAI, también anunció uno de sus modelos inteligentes artificiales (IA) de una manera precisa que representa esta competencia centrada en los estudiantes de antemano.
“¿Por qué es importante?” Wei preguntó al Doctor en Ciencias de la Computación de la Universidad de California en Berkeley y explicó: “En primer lugar, los problemas de la OMI requieren un nuevo nivel de pensamientos creativos. Obtener el modelo de la recompensa ordenada”. Están disponibles en un estado de elaboración de argumentos complejos y sólidos, a nivel de matemáticos humanos. “
La noticia sorprendió a sus extranjeros y a sus extranjeros, especialmente porque no esperaban un avance tan rápido en el desarrollo de estos sistemas conocidos como modelos de idiomas grandes (LLM), entrenados con grandes cantidades de comprensión y manipulación del lenguaje textual y humano. Y LLM tiene la capacidad de realizar diferentes tareas, como responder preguntas, creación de texto, traducción del lenguaje y más.
Solo el año pasado, el emporio inglés Google Deepmind (GDM) anunció que sus modelos Aphaproof y Aphatrotroettrian recibieron una medalla de plata en las matemáticas más prestigiosas del mundo, en la que cada verano jóvenes de más de 100 países. Sin embargo, la comunidad matemática luego estimó que esta tecnología carecía de un “largo camino para una caminata” para lograr el nivel de explicación, abstracción y creatividad de los seres humanos (La Jornada, 19.1.2017).
Wei informó que para cada uno de los cinco problemas con la resonancia experimental de OpenAi “, tres antiguas medallas de los Juegos Olímpicos de Matemáticas Internacionales, ¡y los resultados se obtuvieron por un total de 35 de 42 puntos!
Investigación experimental
“Enormes felicitaciones al equipo que consta de Sheryl Hsu y Noam Brown, y todos los gigantes en los que apoyamos que convertiríamos este increíble sueño en realidad!
Sin embargo, el investigador explicó que la versión del 5 chat GPT pronto aparecerá, la IA olímpica dorada “es un modelo de investigación experimental. No planeamos nada para lanzar con este nivel de capacidad matemática durante varios meses.
“Sin embargo, esto subraya la velocidad con los últimos años. Mi abogado doctoral me pidió que predeciera el progreso y en las matemáticas para 2025. Año. Era demasiado optimista. Sin embargo, ahora tenemos oro olímpico”.
El ex competidor de la OMI que participó en la capacitación de los modelos de apertura explicó que el problema era combinatoria, en otras cosas matemáticas, y el problema se resolvió al trabajar álgebra, algo que no existe y no hay técnicas comunes y no puede complicarse.
En su cuenta X, Aleksandar Wei transfirió modelos a cinco problemas de la OMI para aquellos que desean ver y reconocer la presencia de la Openi de varios antiguos Juegos Olímpicos que ayudan en el entrenamiento en el futuro. “
Ernest Ryu, profesor de matemáticas solicitadas en la Universidad de California en Los Ángeles (UCLA), reemplazará la investigación matemática por el hecho de que no se sabe que es significativamente creativo, lo que en mi opinión estaba significativamente ausente en soluciones abiertas.
“Mi predicción es que en la próxima década, el creciente número de matemáticos mejorará su productividad utilizando los LLM de las famosas partes de un esquema de demostración tentativo. Los veteranos matemáticos podrían arrepentirse, pero los jóvenes simplemente continuarán haciendo un buen trabajo.
“¿Qué sucederá después de eso, por ejemplo, en 30 años? Espero que los matemáticos (y el trabajo intelectual humano en general) no reemplacen la IA, pero nadie sabe lo que sucederá. Mi carrera como matemática ciertamente no es comprometida;
Martes 22. Julio de 2025. Años
