Nuevos puntos de referencia buscan mejorar la capacidad de generación de teoremas de los modelos para el razonamiento automatizado.
― 10 minilectura
Zhicheng Yang
La POESÍA mejora la eficiencia de la demostración de teoremas a través de su enfoque recursivo.
― 7 minilectura
Nuevos métodos y puntos de referencia buscan simplificar la formalización de las matemáticas a través de Lean 4.
― 8 minilectura
Nuevo método mejora la comunicación entre doctores y pacientes usando texto e imágenes.
― 7 minilectura
Los investigadores encuentran formas de mejorar cómo los modelos de lenguaje grandes expresan su conocimiento.
― 7 minilectura