Observatorio de información y Publicaciones

Resumen:Presentamos un estudio de caso sobre el descubrimiento matemático semiautónomo, utilizando Gemini para evaluar sistemáticamente 700 conjeturas etiquetadas como “Abiertas” en la base de datos Erdős Problems de Bloom.

Resumen: Los protocolos distribuidos demostrablemente correctos, que son un componente crítico de los sistemas distribuidos modernos, son muy difíciles de diseñar y, a menudo, han requerido décadas de esfuerzo humano. Estos protocolos permiten que múltiples agentes se coordinen para llegar a un acuerdo común en un entorno de incertidumbre y fracasos.

Resumen: Los avances recientes se han centrado cada vez más en aprovechar modelos de lenguajes grandes (LLM) para construir agentes autónomos para tareas complejas de resolución de problemas. Sin embargo, los enfoques existentes emplean predominantemente un marco de agente único para generar ramas de búsqueda y estimar recompensas durante la planificación de Monte Carlo Tree Search (MCTS).