Contribución de los Últimos Modelos de IA a la Ciencia

Un artículo en AI-News.ru discute las contribuciones de los modelos de IA recientes a la ciencia, particularmente en matemáticas. Hace referencia a una publicación de Terry Tao (21 de julio de 2026) sobre un contraejemplo a la conjetura jacobiana, donde modelos de IA, incluidos Claude Fable 5 y ChatGPT, desempeñaron un papel. Otro preprint (arXiv:2607.18186) presenta una demostración que es válida para dimensiones n≥3, asistida por ChatGPT y Claude. Un artículo (arXiv:2607.18619) de un investigador de Microsoft describe una demostración alternativa del teorema de los cuatro colores utilizando GPT-5.6 Sol. Además, arXiv:2607.18655 se relaciona con Claude Fable 5, y arXiv:2607.19675 describe una demostración utilizando OpenAI Codex, haciendo referencia a un problema de 1964. Otros trabajos incluyen una cota derivada por IA para la conjetura de De Giorgi (arXiv:2607.18174) con término de error O(T^-1), un artículo sobre el modelo SYK (arXiv:2607.18998) que utiliza GPT-5.6, y una demostración de la existencia de una órbita periódica para billares en polígonos por Giovanni Forni (arXiv:2606.10102). El autor también menciona su propio trabajo que involucra GPT.