1. IA china resuelve conjetura matemática sin intervención humana, un hito en automatización del razonamiento
Un sistema de inteligencia artificial desarrollado en China ha logrado formalizar y verificar por sí mismo la solución a un problema matemático abierto, operando sin intervención humana relevante. El hito, alcanzado por un equipo liderado por la Universidad de Pekín, representa un avance significativo en la automatizac...