Agentes de IA de Axiom verifican la prueba más larga de las matemáticas

Agentes de IA verificaron la prueba más larga de las matemáticas y encontraron errores

Qué pasó. El 26 de octubre, Axiom Math publicó una versión verificada por ordenador de la clasificación de los grupos simples finitos, uno de los resultados centrales de las matemáticas del siglo XX (Axiom Math, 2026). La prueba original ocupa unas 15.000 páginas en más de 500 artículos de unos 100 matemáticos. Durante 24 días, ingenieros y matemáticos de Axiom dirigieron a decenas de agentes de IA que escribieron unos 43,1 millones de líneas de código en Lean, un programa que comprueba cada paso de una prueba.

El trabajo reveló 34 desviaciones importantes respecto a lo publicado. En un caso, los agentes encontraron contraejemplos a un paso de una prueba de 1986, y la IA de Axiom produjo un resultado nuevo para cerrar el hueco. Destacados especialistas en teoría de grupos asesoraron en los casos más graves. El código está en GitHub y Axiom publicará la lista completa de errores (Axiom Math, 2026).

Por qué importa. Los agentes pudieron auditar una obra demasiado grande para que cualquier equipo la revise a mano, y señalar dónde fallaba. El mismo método sirve para contratos, expedientes regulatorios, carteras de patentes y literatura científica. Las personas siguen teniendo que confirmar que el enunciado verificado dice lo que se pretendía. La máquina solo comprueba los pasos.

Qué hacer. Cuando un proveedor presente resultados de IA, pida un resultado que pueda comprobar un tercero independiente, no un resumen.

Anthropic compró una biotecnológica unipersonal y publicó resultados de sus socios farmacéuticos

Qué pasó. El 27 de octubre, Anthropic anunció la compra de Mithril Medicine, una empresa de una sola persona cuyo fundador usó Claude para coordinar el trabajo de 11 laboratorios externos (Anthropic, 2026). En menos de 18 meses, la empresa llevó un tratamiento para dos formas raras de distrofia muscular desde la idea hasta resultados prometedores en ratones. Según Anthropic, los ensayos en humanos podrían empezar a finales de 2028 como muy pronto.

Los socios también dieron cifras. En Generate Biomedicines, un diseño hecho con ayuda de Claude para una pieza de una terapia celular era un 70 % más corto que la versión estándar. En Enveda, Claude encontró en 1.061 páginas de documentación los 11 problemas que habían detectado los revisores humanos, señaló otros siete y redujo el tiempo de revisión un 89 %. Bristol Myers Squibb usa Claude para estimar la probabilidad de éxito de planes de ensayos clínicos tempranos. El texto no da cifras sobre ese trabajo (Anthropic, 2026).

Por qué importa. Un proveedor de IA es ahora dueño de un candidato a fármaco. Las farmacéuticas que compran modelos de IA deben contar con que su proveedor compita con ellas en algunos campos.

Bancos y Blackstone aportan 63.000 millones de dólares para chips de Anthropic

Qué pasó. El 26 de octubre, Bank of America, Blackstone, Citi y Morgan Stanley anunciaron una financiación de 63.000 millones de dólares para una sociedad creada solo para comprar chips de IA y equipos de red de Broadcom y alquilárselos a Anthropic (Broadcom, 2026a). Las entregas empezarán previsiblemente en 2027. Broadcom garantiza parte del valor residual del hardware. Calcula que su exposición máxima será de 43.000 millones de dólares y que bajará a cero a lo largo de cinco años de cuotas de alquiler (Broadcom, 2026b).

Según Reuters, los préstamos preferentes suman unos 43.500 millones de dólares, el 69 % del total. La operación sigue a un paquete anterior de 35.000 millones de dólares de Apollo y Blackstone para la misma alianza de chips (Soni et al., 2026).

Por qué importa. La capacidad de cálculo para IA pasa a financiarse mediante arrendamiento: una sociedad aparte es dueña del hardware y el laboratorio de IA lo alquila. Anthropic solicitó salir a bolsa ese mismo día. Estas cuotas son costes a largo plazo que inversores y grandes clientes deberían sumar a sus contratos en la nube.

Discord llevará los mensajes de comunidades públicas a los buscadores

Qué pasó. El 27 de octubre, Discord anunció que cada uno de sus más de 63.000 Discoverable Servers, sus comunidades abiertas de al menos 1.000 miembros, tendrá una página web pública desde el 16 de noviembre (Duncombe-Smith, 2026). Las páginas podrán mostrar resúmenes automáticos de los canales públicos. Desde mediados de diciembre, algunos mensajes podrán aparecer en los resultados de búsqueda, sin nombres de usuario ni avatares. Los administradores eligen qué canales participan y los miembros pueden excluirse. En la UE, el Reino Unido, Canadá, Brasil, Australia y Corea del Sur, los mensajes de los miembros quedan ocultos salvo que ellos lo activen. Los usuarios adolescentes quedan excluidos en todas partes.

Por qué importa. Las conversaciones sobre productos, fallos y competidores, antes difíciles de consultar desde fuera, se podrán buscar. Las empresas ganan una fuente nueva para vigilar el mercado, y las publicaciones de sus empleados en servidores públicos fuera de Europa serán más fáciles de encontrar.

Qué hacer. Si su empresa gestiona un Discoverable Server, revise la configuración de canales en Web Presence antes del 16 de noviembre.

Italia exige que una persona tome cada decisión laboral apoyada en IA

Qué pasó. El Decreto Legislativo 179/2026 de Italia, que aplica partes de la Ley de IA de la UE, entró en vigor el 23 de octubre (Repubblica Italiana, 2026). Su artículo 41 establece que el empleador que use IA debe garantizar que las decisiones de contratar, modificar o extinguir una relación laboral, incluidas las sanciones disciplinarias y las evaluaciones del desempeño, nunca se tomen solo mediante tratamiento automatizado. La decisión final debe tomarla una persona con poder real. Una decisión que incumpla esta regla es nula, y el consentimiento del trabajador no levanta la prohibición. La búsqueda y preselección de candidatos queda excluida (Repubblica Italiana, 2026).

El decreto también designa a los supervisores italianos de la IA. AgID autoriza a los organismos que certifican sistemas de IA. La agencia nacional de ciberseguridad ACN vigila el mercado, y Banca d'Italia, CONSOB e IVASS se encargan de la IA de alto riesgo en banca, inversión y seguros. Las multas por prácticas de IA prohibidas llegan a 35 millones de euros o al 7 % de la facturación mundial (Agostini & Lombardi, 2026).

Por qué importa. Los empleadores en Italia no pueden dejar que una puntuación de IA decida un despido, una sanción o una evaluación del desempeño, ni siquiera con el acuerdo del trabajador. Una decisión tomada así puede anularse.

Qué hacer. Si usa IA en recursos humanos en Italia, registre quién tomó cada decisión final y con qué fundamento.

Agentes de IA obtuvieron 52,8 sobre 100 en trabajo real de patentes

Qué pasó. Investigadores de PatSnap publicaron PatentAgentBench, una prueba de 510 tareas construidas a partir de expedientes de patentes, litigios y resoluciones de oficinas reales (Hu et al., 2026). Abarca ocho trabajos, desde búsquedas del estado de la técnica y de libertad de operación (freedom to operate) hasta la redacción de solicitudes, las respuestas a los examinadores y la traducción. Los agentes tenían que encontrar las pruebas por sí mismos, sin una lista de documentos candidatos. La mejor combinación, Claude Opus 5 de Anthropic en uno de los cuatro entornos de agentes probados, obtuvo una media de 52,8.

La búsqueda de diseños industriales similares fracasó en todos los casos: ninguna configuración encontró más del 4 % de los diseños relevantes. En las búsquedas del estado de la técnica que podría invalidar una patente, todos los modelos ejecutados en Claude Code encontraron menos de un tercio de las referencias relevantes. Pasar Claude Opus 5 a otro entorno elevó esa cifra del 28,7 % al 55,0 % (Hu et al., 2026).

Por qué importa. Los borradores parecían profesionales, pero las pruebas que los sostenían eran escasas. El software que rodea al modelo puede pesar tanto como el modelo, así que la clasificación de modelos de un proveedor dice poco de su herramienta.

Qué hacer. Antes de comprar una herramienta de IA para patentes, pruébela con sus propios casos anteriores y mida cuántas de las referencias conocidas encuentra.

Fuentes

Agostini, A., & Lombardi, G. (2026, October 23). Legislative Decree no. 179/2026 in force from 23 October 2026: National governance, supervision, regulatory sandboxes and AI training. LEXIA. https://www.lexia.it/en/2026/10/23/legislative-decree-179-2026-governance-supervision-ai/
Anthropic. (2026, October 27). Early progress on accelerating drug development with Claude. https://www.anthropic.com/research/early-progress-drug-development
Axiom Math. (2026, October 26). Formalizing the enormous theorem. https://axiommath.ai/research/the-enormous-theorem-formalized/
Broadcom. (2026a, October 26). Bank of America, Blackstone, Citi and Morgan Stanley announce landmark $63 billion financing structure to enable AI compute capacity in partnership with Broadcom [Press release]. https://investors.broadcom.com/news-releases/news-release-details/bank-america-blackstone-citi-and-morgan-stanley-announce
Broadcom. (2026b). Bank of America, Blackstone, Citi and Morgan Stanley announce landmark financing structure in partnership with Broadcom [Investor presentation]. https://investors.broadcom.com/static-files/f4bda79d-cc66-4748-919b-40d08c658f2d
Duncombe-Smith, K. (2026, October 27). Making content from Discoverable Servers easier to discover. Discord. https://discord.com/blog/making-content-from-discoverable-servers-easier-to-discover
Hu, Y., Li, W., Zhou, J., Jiang, Z., Jin, Y., Xu, L., Sun, X., Duan, K., & Zhang, L. (2026). PatentAgentBench: Benchmarking LLM agents with professional patent task suites (arXiv:2610.35031). arXiv. https://arxiv.org/abs/2610.35031
Repubblica Italiana. (2026, October 8). Decreto legislativo 7 ottobre 2026, n. 179: Adeguamento della normativa nazionale alle disposizioni del regolamento (UE) 2024/1689 (GU Serie Generale n. 234). Gazzetta Ufficiale. https://www.gazzettaufficiale.it/eli/id/2026/10/08/26G00200/SG
Soni, A., Srivastava, P., & Azhar, S. (2026, October 26). Wall Street banks, Blackstone line up $63 billion to finance Broadcom AI chips for Anthropic. Reuters, via Investing.com. https://www.investing.com/news/stock-market-news/wall-street-banks-blackstone-line-up-63-billion-to-finance-broadcom-chips-for-anthropic-4973662