La Simons Foundation destina 15 millones de dólares a que los matemáticos no se pierdan en la era de la IA
Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era
La Simons Foundation, junto a Anthropic y OpenAI, invertirá 15 millones de dólares en financiación y recursos para que la comunidad matemática evalúe los resultados asistidos por IA, aprenda a usar las nuevas herramientas y fije estándares colectivos de uso. Las ayudas, que incluyen una convocatoria abierta de propuestas, también darán acceso a herramientas de IA y capacidad de cómputo para investigadores en ciencia básica.
La comunidad debería liderar los debates sobre cómo se evalúan, adoptan y usan estas herramientas, y no una sola empresa o institución.
- muragekibicho
Pienso mucho en cómo Terrence Tao y los habituales 30 matemáticos (ya bien financiados) recibirán este dinero mientras nosotros, los estudiantes de matemáticas en inicio de carrera, nos quedamos con la bolsa vacía.
Es algo parecido a "donar 100 dólares a la fundación Node JS, no a los paquetes que aparecen cuando ejecutas npm fund".
- simonw
> En una asociación, la Simons Foundation, Anthropic y OpenAI comprometerán 15 millones de dólares en financiación y recursos combinados. La fundación gestionará y otorgará la financiación, incluso mediante una convocatoria abierta de propuestas, para apoyar talleres e iniciativas que ayuden a los investigadores a evaluar resultados recientes asistidos por IA, aprender y usar nuevas herramientas, compartir perspectivas y dar forma a estándares colectivos para el uso de IA.
La fundación se creó en 1994, Wikipedia dice "una de las mayores organizaciones benéficas de Estados Unidos con activos de más de 5 mil millones de dólares en 2022" - Jim Simons fundó el fondo de cobertura Renaissance Technologies.
- mrandish
> > En una asociación, la Simons Foundation, Anthropic y OpenAI comprometerán 15 millones de dólares en financiación y recursos combinados.
OAI y Ant recibieron críticas por básicamente extraer descubrimientos matemáticos como minas a cielo abierto para convertirlos en victorias de relaciones públicas para sus modelos, arrasando accidentalmente el campo de investigación en el proceso. Echar ~5 millones cada uno en blanqueo de imagen (parcialmente en créditos simbólicos) parece interesado.
Felicitaciones a la Simons Foundation por aprovechar el momento para ofrecer a los laboratorios una hoja de parra de respetabilidad. Podría haber sido el "Sí" más rápido jamás dado a una propuesta de subvención.
- defgeneric
Casi todos rechazaron la idea de un proyecto tipo CERN para las matemáticas cuando se propuso recientemente. Debería haberse considerado más seriamente.
Ahora que las cosas se están asentando un poco tras los shocks de Navier-Stokes y el volcado de teoremas, algo como cómo serán las matemáticas post-IA está empezando a emerger. Por supuesto, las cosas deberían estar condicionadas a la suposición de que las capacidades seguirán mejorando, pero imagina algo así:
Un instituto con una enorme cantidad de cómputo, ya sea alquilado o propio, construido sobre el modelo humboldtiano de la unidad de enseñanza e investigación. El principal atractivo para los grandes nombres sería el acceso al cómputo, libre del miedo a ser adelantado. Se desarrollarían nuevas formas de atribución y colaboración, y ganaríamos algo de claridad para estudiantes y doctorandos sobre cómo es una carrera futura.
La mezcla actual de departamentos universitarios de matemáticas, todos siguiendo sus propios caminos a través de la crisis sin consolidar recursos, hace que la transición sea más difícil. Piensa en el camino que tomó la física comenzando con ciclotrones dispersos (incluso se excavó el sótano del instituto Niels Bohr para meter uno), luego los laboratorios más grandes que siguieron. Esa transición fue gradual porque la física la lideró desde dentro, mientras que con las matemáticas cada departamento universitario está de repente en una desventaja masiva de cómputo con respecto a laboratorios que no siguen el mismo modelo, y se rigen por incentivos diferentes.
Podría ser así de simple: tal vez no necesitamos completamente t […]
- cuttothechase
¡15 millones es el costo promedio de 5 casas en el área de la bahía!
¡No estoy seguro de qué intentan siquiera hacer con este esfuerzo en lugar de conseguir algo de marketing gratis!
- Trusteando
En chats con modelos como deepseek, el LLM hace muchas afirmaciones matemáticas básicas incorrectas. Quizás modelos más avanzados puedan, en circunstancias especiales, guiados por el trabajo de humanos y Lean, demostrar teoremas. Pero al igual que en RL, el enfoque de fuerza bruta de fallar un millón de veces puede no ser suficiente cuando la recompensa está lejos.
En matemáticas, la recompensa es encontrar la descomposición que reduce el problema a casos más simples, y en muchos casos esa recompensa está muy lejos. Además, el LLM puede procesar los muchos casos rápido, pero la descomposición a menudo proviene de un humano, y el modelo se lleva el crédito por la prueba.
Esta fundación podría proporcionar a los LLM las descomposiciones, generadas por el ingenio humano, que necesitan. Pero una vez suministradas, el modelo puede ejecutar los casos y llevarse el crédito. Por lo tanto, más créditos para los LLM y menos empleos y peores perspectivas para los humanos, incluso si no es una consecuencia intencionada.
- an0malous
Mi esfuerzo por ayudar a los científicos a navegar la era de la IA:
En ChatGPT: Configuración -> Controles de datos -> Desactivar "Mejorar el modelo para todos"
En Claude: Configuración -> Privacidad -> Desactivar "Ayudar a mejorar nuestros modelos de IA"
Pueden extraer tu trabajo después de que lo publiques.
- efficient_dairy
Así que quieren que los matemáticos sigan dando indicaciones y retroalimentación a los modelos para aclarar sus pruebas. Luego escribirlo todo y publicarlo en una revista y mencionar su uso de IA. Entonces, de repente, los modelos terminan produciendo pruebas legibles y comprensibles a través de la "emergencia" de las habilidades debido a las leyes de escalado.