La Fundación Simons anunció un nuevo conjunto de iniciativas para ayudar a la comunidad matemática a navegar el rápido aumento de la inteligencia artificial en el campo, respaldadas por 15 millones de dólares en financiación y recursos combinados de la fundación, Anthropic y OpenAI.
La fundación gestionará y otorgará la financiación, incluso a través de una convocatoria abierta de propuestas, para apoyar talleres e iniciativas que ayuden a los investigadores a evaluar resultados recientes asistidos por IA, aprender y utilizar nuevas herramientas, compartir perspectivas y dar forma a estándares colectivos sobre cómo se utiliza la IA en la investigación matemática. Para más contexto sobre esta historia, consulta nuestra actualidad de inteligencia artificial.
Herramientas y computación más allá de las matemáticas
Más allá de la financiación, Anthropic y OpenAI proporcionarán herramientas de inteligencia artificial y recursos informáticos a investigadores apoyados por la Fundación Simons. Según el anuncio de la fundación, ese apoyo se extiende más allá de las matemáticas para incluir la ciencia básica de manera más amplia: un canal inusualmente directo entre los laboratorios de inteligencia artificial de vanguardia y los investigadores académicos en activo.
El acuerdo se destaca por su estructura: en lugar de que los laboratorios establezcan la agenda, la fundación controla cómo se otorga el dinero, y el material de prensa enfatiza que los premios y recursos serán impulsados por la comunidad.
Por qué las matemáticas son la primera línea
Las matemáticas se han convertido en uno de los campos de prueba más importantes para la IA en la ciencia. La Fundación Simons fue uno de los primeros en respaldar el aprendizaje automático para la ciencia, incluida la financiación del desarrollo del asistente de prueba Lean, que ha remodelado la forma en que los matemáticos formalizan el trabajo y ha hecho posibles las pruebas asistidas por IA. A medida que los sistemas de IA contribuyen cada vez más al descubrimiento matemático, la comunidad se enfrenta a un problema práctico: cómo verificar, evaluar y confiar en los resultados producidos con una importante ayuda de las máquinas.
Ese problema de verificación es fundamental para lo que financia la nueva iniciativa. Los talleres e iniciativas destinados a "evaluar resultados recientes asistidos por IA" reconocen que el proceso tradicional de revisión por pares no fue diseñado para pruebas redactadas con sistemas de IA, o en algunos casos producidas sustancialmente por ellos.
El marco de la Fundación: la comunidad primero
El presidente de la Fundación Simons, David Spergel, describió el esfuerzo como un momento para la toma de decisiones colectiva. "A medida que la inteligencia artificial remodela rápidamente el panorama de la investigación, queremos ayudar a la comunidad matemática a unirse y forjar el mejor camino a seguir", dijo Spergel en el anuncio. "Ahora es el momento de mirar las matemáticas en su conjunto, no como una colección de pruebas y teoremas, sino como una comprensión colectiva impulsada por la curiosidad humana".
Spergel fue explícito sobre quién debería fijar los términos de la adopción. "La comunidad debería impulsar los debates sobre cómo se evalúan, adoptan y utilizan estas herramientas, no una sola empresa o institución", afirmó. "El objetivo del programa es apoyar a la comunidad matemática".
La declaración se lee como un contraste deliberado con una dinámica familiar en la adopción de la IA: instituciones individuales que negocian acuerdos separados con proveedores modelo, con normas establecidas por el laboratorio o la universidad que se mueve primero. Al dirigir la financiación a través de una convocatoria abierta y enfatizar los estándares colectivos, la fundación intenta establecer un punto de coordinación para una disciplina cuyo resultado (las pruebas) es inusualmente verificable y, por lo tanto, inusualmente expuesto a atajos asistidos por IA.
Un modelo para otros campos
La iniciativa puede servir como modelo más allá de las matemáticas. Los campos de las ciencias básicas enfrentan la misma pregunta subyacente: cómo absorber las herramientas de IA sin ceder estándares a los proveedores de esas herramientas, y la estructura de la Fundación Simons, en la que una filantropía neutral administra los recursos donados por empresas de IA competidoras, es uno de los primeros intentos de encontrar una respuesta.
La historia de la fundación le dio credibilidad para desempeñar ese papel: más allá de su financiación inicial del asistente de prueba Lean, ha convocado talleres, conferencias y colaboraciones que exploran el papel de la IA en las matemáticas. El nuevo compromiso de 15 millones de dólares formaliza ese poder de convocatoria en un programa financiado precisamente en el momento en que los resultados asistidos por IA llegan más rápido de lo que las normas de la comunidad pueden absorberlos.
---
Mantente al Día con la IALas últimas noticias, análisis y avances de inteligencia artificial, en un solo lugar.
Leer más noticias de IA →
