𝗘𝗹 𝗰𝗼𝗻𝘁𝗿𝗮𝗲𝗷𝗲𝗺𝗽𝗹𝗼
Un modelo de OpenAI refutó una conjetura matemática de 80 años de antigüedad. Esto es un hito. Pero nos muestra exactamente lo que la IA puede y no puede hacer.
El problema era sencillo. Colocar puntos en un plano. ¿Cuántos pares pueden estar a una unidad de distancia? Paul Erdős conjeturó que una cuadrícula específica era la mejor forma de hacerlo. Esta conjetura se mantuvo durante 80 años.
La IA rompió la conjetura. No inventó una nueva forma de pensar. Encontró un patrón construyendo un retículo en dimensiones superiores y proyectándolo de nuevo. Encontró una disposición específica que una cuadrícula no puede igualar.
Este éxito revela dos fortalezas específicas de la IA:
- Búsqueda libre de sesgos: Los humanos suelen dejar de buscar un contraejemplo si creen que una teoría es cierta. La IA no tiene tales creencias. Sigue buscando incluso cuando los humanos se rinden.
- Resistencia extrema: Los humanos racionan su atención. Abandonamos las estrategias que requieren demasiado tiempo o que no funcionan rápidamente. El modelo realiza cientos de intentos fallidos sin cansarse.
La IA también utilizó su alcance. Combinó la teoría de números algebraicos con la geometría discreta. La mayoría de los humanos se especializan en un solo campo. El modelo posee la literatura de todos los campos a la vez. Establece conexiones que un especialista podría pasar por alto.
Sin embargo, esto no es invención. El modelo no creó una nueva herramienta matemática. Utilizó matemáticas existentes para encontrar un resultado dentro de un marco ya establecido. Buscó en un espacio definido un objeto que cumpliera con reglas conocidas.
La verdadera invención matemática es diferente. Es la capacidad de crear un nuevo espacio, nuevas restricciones o un nuevo lenguaje.
La verdadera prueba para la IA no es cuántos problemas antiguos resuelve. La verdadera prueba es si un modelo crea una definición o un método que los matemáticos adopten como propio.
Hasta que un modelo genere un nuevo marco de trabajo, seguirá siendo una poderosa herramienta de búsqueda en lugar de un creador. La ventaja de la máquina es que no cree lo que nosotros creemos y no se cansa de buscar.
Fuente: https://dev.to/thesythesis/the-counterexample-hd2
Comunidad de aprendizaje opcional: https://t.me/GyaanSetuAi