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 ...
Etiqueta: inteligencia artificial
Sánchez reclama un ‘nuevo contrato social’ para regular la IA
El presidente del Gobierno presenta el plan IA360, con cuatro ejes a desplegar en 12 meses, y anuncia que convocará ...
Trump y Xi llevan a la Casa Blanca su brecha de actitud ante la IA
La cumbre del jueves en la Casa Blanca entre Donald Trump y Xi Jinping sitúa la IA en el centro ...
González-Pasterski, la física cuyo artículo citó Stephen Hawking
La física Sabrina González-Pasterski repasa su trayectoria: del avión que construyó a los 14 años a la holografía celeste que ...
Los Ángeles veta la IA en sus aulas y Estonia usa un GPT socrático
Los Ángeles prohíbe la IA generativa en sus aulas durante este curso, Estonia despliega un modelo propio con OpenAI y ...
Amodei pide ralentizar la IA y expertos dudan del apocalipsis
El jefe de Anthropic pide monitorización externa y frenar el desarrollo de la IA; una exinvestigadora de Google cree que ...
OpenAI corrige su artículo del milenio para citar a dos matemáticos
OpenAI añadió en silencio, tres horas después del anuncio, las citas a los matemáticos españoles cuya base sostiene la prueba ...
Dimite un ingeniero de Anthropic y OpenAI por la autonomía de la IA
Jacob Coxon, que investigó preentrenamiento en Anthropic y OpenAI, dimite para denunciar la carrera hacia la autonomía recursiva de ambas ...
