Nuevo
Qué consigue h1 al demostrar teoremas con Lean 4
h1 combina un modelo con Lean 4; sus resultados dependen del benchmark. La comparación de costes con AlphaProof Nexus cubre cinco problemas de Erdős.
Por si te lo perdiste
Anthropic presentó el S-1 de su propuesta de salida a bolsa
Anthropic presentó un S-1 para una oferta propuesta en Nasdaq. Qué fija el registro y cómo se separan la inversión accio…
Privacidad al escribir en Windows 11: qué puedes controlar
Windows 11 separa la lista personalizada de palabras de los diagnósticos opcionales. Aprende a borrar la lista, consulta…
La Asamblea francesa adopta una enmienda para gravar datos
La Asamblea francesa adoptó una enmienda que propone cobrar 0,055 € por GB al emisor de los datos y establece reglas de…
Gemini Notebook añade cientos de libros de texto para estudiar
Gemini Notebook suma cientos de libros de texto de tres proveedores para crear guías, cuestionarios y fichas, con acceso…
Más historias
Automatizaciones de Google Home: elige la rutina adecuada
Aprende a elegir entre una rutina personal y una automatización del hogar, sigue los pasos de Google Home y conoce sus l…
Linux 7.4 sumó 19.671 commits, un 20,9% más que Linux 7.3
Phoronix contó 19.671 commits en la ventana de Linux 7.4, 3.404 más que en Linux 7.3. Qué mide el recuento y qué conclus…
Alibaba planea integrar Qwen en Apple Intelligence en China
Xinhua atribuye a Alibaba un plan para integrar Qwen en Siri, Writing Tools y Visual Intelligence en China, con beta pre…
Nueve demos de Steam Next Fest de octubre y sus estilos de juego
Nueve demos del Steam Next Fest de octubre de 2026 reúnen estilos distintos; descubre sus mecánicas y la diferencia con…
Accenture rechaza la acusación sobre Claude Code en NIPRNet
WIRED atribuyó a un contratista de Accenture el uso de Claude Code en NIPRNet. Accenture sostiene que las acusaciones ca…
Musk planea dos nuevos clústeres para Colossus 2
El 31 de octubre de 2026, Elon Musk detalló los planes para Gun Range y Spam: unos 420.000 GB300 previstos y un objetivo…
Northwestern controló un positrón; la comparación con el electrón sigue pendiente
Northwestern confinó y controló un positrón en una trampa de Penning. El artículo cifra en un mes esta realización; la c…
SpaceXSI programa para el 7 de noviembre el marcado del texto de Grok API
SpaceXSI programa para el 7 de noviembre de 2026 la marca invisible en siete modelos de Grok; así funcionan la cabecera…
OpenAI prevé compartir el límite de ChatGPT y Codex en diciembre
OpenAI prevé un límite compartido entre ChatGPT y Codex en diciembre de 2026 para Plus, Pro y Business; Instant queda fu…
La matriz de Anthropic no recogía marcas de texto para cuatro modelos Claude
Mashable situó en el 3 de noviembre el inicio previsto para cuatro modelos Claude; la matriz de Anthropic consultada el…
Agentes de compra con IA: qué midió la auditoría de minoristas
CNBC informó de una auditoría de 51 minoristas de EE. UU. sobre reglas publicadas; Walmart anunció perfiles y límites de…
HomePod mini 2: una prueba con Mac no mostró la salida fija
Apple admite el HomePod mini 2 como altavoz de Mac con Wi‑Fi 6E o posterior; una prueba con un Mac mini M4 no encontró l…
