Caltech Mathathon: 40 horas, $2M+ en créditos de IA para resolver un problema abierto
Caltech Mathathon – first hackathon ever devoted to research level mathematics
El primer hackathon dedicado a matemáticas de nivel investigación se celebrará en Caltech del 30 de octubre al 1 de noviembre. Cien equipos usarán modelos de IA de frontera para atacar conjeturas abiertas y construir nuevas teorías, defendiendo luego sus resultados ante matemáticos líderes. Con premios en dos rondas, el evento busca medir cuánto puede acelerar la IA el proceso de ideación a publicación revisada por pares, y redefinir el rol del matemático en esta nueva era.
¿Cuál es el papel de un matemático cuando la IA puede resolver conjeturas más rápido?
- Semkas
No negaré que es una idea interesante, pero siento que esperar la salida de un LLM durante 40 horas parece completamente antitético a lo que hace atractivos y educativos los hackathons clásicos. En general, no creo que el formato de un hackathon (trabajar intensamente en un corto período de tiempo) se corresponda en absoluto con la forma en que se ha progresado en matemáticas con LLM hasta ahora; que yo sepa, principalmente implica elegir algo para el modelo y luego dejarlo correr durante una semana con correcciones o ánimos esporádicos.
- xqcgrek2
Ningún matemático que se respete va a convertirse voluntariamente en herramienta de marketing para estas empresas que resuelven rompecabezas desatendidos e irrelevantes.
- youoy
¿Debo leer esto como que los grandes laboratorios intentan avanzar en matemáticas? ¿O como que los grandes laboratorios intentan usar a matemáticos profesionales como mano de obra (¿barata?) para validar los resultados de los LLM? En la publicación de ayer "Una mente alienígena" de OpenAI dijeron abiertamente que las matemáticas no son una prioridad para ellos, así que personalmente sé qué pensar...
- corinthia
¡Soy recién graduado de Caltech! Y conozco bien a algunos de los organizadores. El departamento de ciencias de la computación de Caltech es muy, muy débil, y ha tenido dificultades para reclutar a los mejores talentos en los últimos años, y las contrataciones más recientes de profesores de IA han tenido problemas. Esto está cambiando muy lentamente, pero gran parte de la motivación para esto fue crear una manera para que los estudiantes obtengan "reconocimiento" en ML y aprendan sobre IA, ya que no se puede hacer a través de la escuela en este momento. ¡Me alegra mucho ver que HN lo haya recogido!
- chaoxu
Me he postulado como equipo, espero entrar. Últimamente me interesa cómo crear un andamiaje para matemáticas que aproveche al máximo la capacidad de razonamiento del modelo. Me interesan tanto la capacidad como el costo. La mayoría de los andamiajes genéricos que tenemos ahora no están hechos para maximizar el razonamiento. He probado agentes como codex, y rara vez el costo de los tokens de razonamiento supera el 20%. Lo cual es bastante extraño, ya que las matemáticas requieren mucho razonamiento. Así que los hackathons pueden ser un buen banco de pruebas.