OpenAI destina 5 millones de dólares para que los matemáticos entiendan las recientes pruebas generadas por IA
La Simons Foundation lanza una iniciativa de 15 millones de dólares, con financiación de OpenAI, para ayudar a los matemáticos a evaluar resultados recientes de IA y crear estándares para su uso en matemáticas.
OpenAI destina 5 millones de dólares para ayudar a los matemáticos a comprender las recientes pruebas matemáticas generadas con modelos de IA.
La Simons Foundation, que antes apoyó el proyecto Lean, lanza una iniciativa para ayudar a los matemáticos a comprender y evaluar los recientes resultados obtenidos con IA, dominar nuevas herramientas y desarrollar estándares comunes para el uso de la IA en matemáticas.
El presupuesto total de la iniciativa es de 15 millones de dólares. OpenAI aporta 5 millones, mientras que Anthropic también se espera que financie parte del esfuerzo. Ambas empresas están proporcionando a los investigadores herramientas y recursos informáticos. Los fondos se destinarán principalmente a conferencias, talleres y financiación de investigaciones.
Por qué es importante
AnálisisEsto es importante porque la IA ya produce resultados matemáticos complejos, y los estándares y herramientas compartidos pueden determinar cómo la ciencia verificará y aceptará esas pruebas.
Debatir en la comunidad
Comparte tus preguntas e ideas con desarrolladores