El California Institute of Technology (Caltech) acogerá del 30 de octubre al 1 de noviembre un hackatón centrado en investigación matemática avanzada, en el que cien equipos dispondrán de modelos de IA de frontera y más de dos millones de dólares en créditos de computación para intentar resolver conjeturas abiertas y desarrollar nuevas teorías. Los equipos deberán defender después sus resultados ante matemáticos de referencia, que evaluarán la comprensión demostrada. El evento concederá premios a los trabajos más prometedores y mejor explicados, y contemplará una segunda ronda de premios tras la verificación de la comunidad matemática. La convocatoria llega tras una serie de hitos recientes de la IA en matemáticas puras: la refutación de la conjetura de distancia unidad de Erdős en mayo, la construcción del primer grupo no sófico explícito en agosto y, aún por verificar, la demostración de que la 6-esfera admite una estructura compleja. Los organizadores enmarcan la iniciativa como respuesta a dos preguntas: el grado de aceleración que la IA puede aportar al ciclo que va de la idea a la publicación revisada por pares, y el papel que corresponde al matemático cuando los sistemas de inteligencia artificial resuelven conjeturas con rapidez creciente.
Noticias agregadas con IA