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.
- dash2
> A los agentes también se les daban vacaciones periódicamente, durante las cuales dejaban a un 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 Común de Altos Cargos 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 partido.
- StrauXX
Me recuerda mucho a esta pieza de LessWrong. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...