Cuando la IA hace matemáticas: 722 manuscritos y 372 familias de resultados

De -

OpenAI ha presentado una amplia colección de nuevos resultados matemáticos obtenidos mediante uno de sus modelos internos de frontera (es decir, que aún no es de acceso libre al público).

Enlace: Sharing AI progress in mathematics

La colección incluye aproximadamente 722 manuscritos, agrupados en 372 familias de resultados matemáticos. Estos resultados fueron seleccionados a partir de miles de problemas intentados por el modelo y abarcan diferentes áreas de las matemáticas.

Al parecer, con el objetivo de mejorar la manera en que estos resultados se comparten con la comunidad matemática, OpenAI ha consultado al Advisory Group on Mathematics and Artificial Intelligence, un grupo independiente asociado al Institute for Advanced Study. Sus recomendaciones han servido para establecer criterios sobre cómo presentar, documentar y publicar este tipo de avances.

En esta ocasión, los resultados se han publicado en un repositorio de GitHub que incluye protocolos para la revisión y citación de los trabajos:

GitHub repository - Open AI math

OpenAI también está explorando otras alternativas de publicación gestionadas por la propia comunidad matemática.

Un aspecto especialmente interesante es que el repositorio incluye formalizaciones en Lean de varias de las demostraciones. Lean es un lenguaje utilizado para expresar y verificar matemáticamente demostraciones mediante un ordenador. OpenAI tiene previsto incorporar nuevas formalizaciones a medida que estén disponibles.

La compañía también ha publicado información adicional sobre el proceso mediante el cual se obtuvieron los resultados. Esto incluye resúmenes del razonamiento seguido por el modelo, estimaciones del coste computacional, expresado en términos del uso de ChatGPT Pro, y estadísticas sobre el número de problemas que se intentaron resolver. Según OpenAI, un resultado promedio requirió un esfuerzo computacional equivalente aproximadamente a tres horas de razonamiento de ChatGPT Pro.

El objetivo declarado es que estos avances contribuyan a ampliar la frontera del conocimiento matemático y, al mismo tiempo, permitan a los investigadores utilizar herramientas de inteligencia artificial cada vez más avanzadas.

OpenAI también anuncia que apoyará talleres, conferencias y otros programas dedicados al estudio y la comprensión de resultados matemáticos importantes producidos con ayuda de IA.

Más allá de los resultados concretos, este anuncio podría representar un punto de inflexión en la historia de las matemáticas. Por primera vez, nos encontramos ante una colección de cientos de resultados matemáticos producidos con una participación sustancial de sistemas de inteligencia artificial y acompañados, en muchos casos, por mecanismos formales para verificar sus demostraciones.

Sin embargo, la importancia de este momento puede ser motivo de debate. Algunos podrían considerarlo el comienzo de una nueva etapa en la que la inteligencia artificial se convierta en una herramienta fundamental para descubrir y demostrar nuevos resultados matemáticos. Otros podrían adoptar una posición más cautelosa y señalar que todavía es necesario determinar hasta qué punto estos resultados representan auténticos descubrimientos, cómo deben ser evaluados por la comunidad matemática y qué papel corresponde finalmente al matemático humano.

En cualquier caso, este desarrollo plantea una cuestión cada vez más relevante para las matemáticas: ¿cómo debemos evaluar, verificar y comunicar descubrimientos obtenidos con inteligencia artificial?

La formalización de las demostraciones, la publicación de los métodos utilizados y una mayor transparencia sobre los recursos computacionales empleados pueden ser pasos importantes en esa dirección. Al mismo tiempo, será fundamental que la comunidad matemática participe activamente en la evaluación de estos resultados y en el establecimiento de estándares para futuras publicaciones.

¡Hola! 👋 Has llegado al final de esta publicación. 🤓
Si te ha sido útil, puedes apoyar mi trabajo en Patreon
¡Gracias por tu apoyo! ❤️

Comentarios

Publicar un comentario

Entradas populares

Galileo Galilei y su ley de caída libre

De -
Imagen
1. Introducción Con respecto al estudio del movimiento de caída libre, el filósofo griego Aristóteles (384-322 aC) asumió que los objetos más pesados ​​caían más rápido que los más ligeros. Esta suposición se mantuvo durante casi 2000 años hasta que, a finales del siglo XVI, el matemático italiano  Galileo Galilei  (1564-1642)  demostró que en realidad todos los objetos caen al mismo tiempo sin importar el peso de estos. Corrientes de pensamiento con respecto al movimiento de caída libre Aristoteliana                                          Galileana Galileo estaba convencido de que en un espacio completamente libre de aire, dos cuerpos en caída libre cubrían distancias iguales en tiempos iguales sin importar su peso. Esto contradecía radicalmente las nociones aristotélicas acerca de la caída libre. Por supesto que en esa...
Read more »

Breve historia del Cálculo

De -
Imagen
1. Introducción El historiador de las matemáticas Morris Kline considera al Cálculo, después de la geometría, como la creación más grande en todas las matemáticas [4, p. 342]. Generalmente se atribuye su invención principalmente a dos matemáticos del siglo XVII, el inglés Isaac Newton (1642-1727) y el alemán Gottfried Wilhelm Leibniz (1646-1716). Sin embargo, esta es una excesiva y absurda simplificación de los hechos. En realidad el Cálculo, tal y como lo conocemos actualmente, es el producto de una larga evolución en la cual ciertamente estos dos personajes desempeñaron un papel decisivo [6]. Leibniz Newton En términos muy generales, el  Cálculo llegó para resolver y unificar los problemas de cálculo de áreas y volúmenes, el trazo de tangentes a curvas y la obtención de valores máximos y mínimos, proporcionando una metodología general para la solución de todos estos problemas; también permitió definir el concepto de continuidad y manejar...
Read more »

Una historia de la Teoría de Conjuntos

De -
Imagen
La historia de la teoría de conjuntos es bastante diferente comparada con la historia de la mayoría de las otras áreas de las matemáticas. Para la mayoría de las áreas por lo general se puede rastrear un largo proceso en el que las ideas evolucionan hasta alcanzar un resplandor final de inspiración, a menudo por un número de matemáticos casi simultáneamente, produciendo un descubrimiento de gran importancia. La teoría de conjuntos sin embargo, es bastante diferente. Su creación se debe a una sola persona, Georg Cantor. Antes de adentrarnos en la historia principal del desarrollo de la teoría de Cantor, primero examinamos algunas contribuciones preliminares. Georg Cantor La idea de infinito había sido objeto de una profunda reflexión desde la época de los griegos. Zenón de Elea, alrededor de 450 aC, con sus problemas en el infinito, hizo una importante contribución. En la Edad Media, la discusión del infinito había dado lugar a la comparación de conjuntos infinitos. Por ...
Read more »