La Simons Foundation ha anunciado una nueva iniciativa destinada a ayudar a la comunidad matemática a navegar la rápida integración de la inteligencia artificial en el campo. En una asociación colaborativa, la fundación, junto con las empresas de IA Anthropic y OpenAI, comprometerá un total de 15 millones de dólares en fondos y recursos. La fundación gestionará estos fondos, incluyendo a través de una convocatoria abierta de propuestas, para apoyar talleres e iniciativas diseñadas para ayudar a los investigadores a evaluar resultados asistidos por IA, aprender nuevas herramientas y desarrollar estándares colectivos para el uso de la IA en las matemáticas.
Esta iniciativa se basa en la trayectoria de la fundación apoyando el aprendizaje automático para la ciencia. Notablemente, la Simons Foundation fue uno de los primeros patrocinadores del asistente de pruebas Lean, una herramienta que ha cambiado significativamente la forma en que trabajan los matemáticos al hacer que las pruebas asistidas por IA sean más factibles. Más allá del enfoque principal en las matemáticas, Anthropic y OpenAI también proporcionarán herramientas de IA y recursos de computación a un grupo selecto de investigadores apoyados por la fundación, extendiendo el alcance de la iniciativa hacia otras áreas de la ciencia básica.
La imagen ilustra el asistente de pruebas Lean, que la fundación apoyó para hacer que las pruebas asistidas por IA fueran más factibles para los matemáticos.
Si bien el programa tiene como objetivo empoderar a la comunidad para que impulse sus propios estándares, la asociación destaca una intersección significativa entre la investigación académica y los principales laboratorios de IA. El objetivo de la fundación es ir más allá de ver las matemáticas como una mera colección de teoremas hacia una comprensión colectiva impulsada por la curiosidad humana, apoyada por la tecnología moderna. Las solicitudes para las 'Subvenciones dirigidas a Institutos de Matemáticas+IA' están abiertas actualmente, con una fecha límite de entrega del 1 de diciembre de 2026. La iniciativa busca asegurar que la comunidad matemática —en lugar de cualquier corporación individual— dé forma a cómo se adoptan y evalúan estas herramientas a medida que continúan remodelando el panorama de la investigación.