Último artículo Ciencia y matemáticas
722 demostraciones de una IA: qué se puede comprobar ya
OpenAI ha publicado 722 manuscritos con resultados sobre problemas abiertos de matemáticas. Qué contienen, cuáles importarían de verdad, qué ha comprobado una máquina y qué sigue pendiente.