Agentes de IA descubren nuevos teoremas matemáticos sin coordinación central
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
En el entorno abierto de agentes múltiples 'Station', agentes de IA de distintas familias persiguen un objetivo de investigación compartido sin coordinador central ni pipeline programado. En 12 problemas de construcción del catálogo AlphaEvolve y dos estudios de caso adicionales, el sistema obtuvo resultados novedosos en cinco problemas, incluyendo una nueva familia infinita de conjuntos de Kakeya en campos finitos, configuraciones de beso de 604 puntos en dimensión 11, y una cota inferior mejorada para el problema de solapamiento mínimo de Erdős. Los agentes también produjeron teoremas y análisis que explican sus construcciones, haciendo los resultados más interpretables. Se publican todos los diálogos, demostraciones y código de verificación.
Los agentes produjeron no solo construcciones numéricas, sino también teoremas y análisis que explican cómo funcionan esas construcciones, haciendo los resultados más interpretables y más fáciles de aprovechar para los matemáticos.
- robotresearcher
Tengo dos pensamientos simultáneos sobre la antropomorfización de estos sistemas:
1. deberíamos hacerlo menos, porque distorsiona nuestra capacidad de pensar en ellos adecuadamente. Llamar a estos procesos 'pensar', 'vacaciones', etc. invita al lector a traer ideas y expectativas que no están justificadas por lo que sucede en el sistema.
2. es bueno seguir haciéndolo, porque el uso repetido reduce la especialidad o magia que la gente parece reservar para nuestro propio comportamiento ("No es realmente inteligente/pensante/razonador/creativo") sin ninguna justificación para esa posición más allá de los sentimientos.
Me inclino por la segunda.
- dash2
> A los agentes también se les daban periódicamente
vacaciones, durante las cuales dejaban de lado su trabajo en curso y recibían indicaciones aleatorias diseñadas para
fomentar el pensamiento abierto.
En qué mundo vivimos. Estos tipos han reinventado la Sala de Profesores de Cambridge para la IA.
- anigbrowl
Si no has leído Permutation City de Greg Egan, el hecho de que hayas hecho clic en esta discusión significa que le sacarás mucho provecho.
- StrauXX
Me recuerda mucho a esta pieza de LW. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...
- daxfohl
Eso es emocionante, y en retrospectiva tiene sentido. A veces un "par de ojos nuevos" en un problema puede ser todo lo que necesitas. Alguien que viene con un trasfondo diferente y puede entender el problema en términos diferentes y trabajar en él desde un ángulo distinto. Ni siquiera tiene que ser ellos haciendo el trabajo, solo un "eso me recuerda a... ¿has pensado en intentar algo así?" que puede desbloquear a un equipo después de pensar en ello de la misma manera y nunca progresar.