OpenAI afirma que su IA resolvió 100 problemas matemáticos abiertos
OpenAI asegura que un modelo entrenado desde el 28 de agosto resolvió más de 100 problemas matemáticos abiertos, sin detallar...
Leer másDetailsLo último
La fiscalía pide cinco años de cárcel para 11 activistas de Greenpeace
Greenpeace denuncia el juicio en Valencia contra 11 activistas por bloquear en 2021 un buque con gas de fracking; el...
Leer másDetails
La Politécnica de Valencia abre en China el primer campus español
La UPV y la Beihang University inauguran el primer centro con docencia presencial fuera de España; la Universitat de Barcelona...
Leer másDetails
La IA ya genera demostraciones matemáticas verificables con Lean
La IA ya produce demostraciones matemáticas autónomas verificables con Lean, mientras se debate dónde están sus límites y qué papel...
Leer másDetails
La ESA propone 10.000 millones para lanzar astronautas europeos
El director general de la ESA, Josef Aschbacher, propone invertir 10.000 millones en diez años para que Europa lance a...
Leer másDetails
