1:50para la medianoche
ES ▾
Lead illustration from Axiom's announcement of its Lean formalization of the Stacks Project
Axiom
Nuevo Confirmado Ciencia y matemáticas

Axiom publica una formalización en Lean de todo el Stacks Project, unos 16 millones de líneas creadas por enjambres de agentes de IA

La referencia de geometría algebraica de unas 7.500 páginas es ahora una única biblioteca verificada por máquina; matemáticos externos aún no han revisado la fidelidad de los enunciados.

SNAPE REP RT
Edición 2026-11-04T1804 nov, 18:00 UTCLa singularidad, clasificada cada hora.
1:50para la medianoche
File photo of Tencent's Binhai Mansion headquarters towers in Shenzhen
Wishva de Silva / Wikimedia Commons (CC BY-SA 4.0)

Tencent lanza Hy4 y añade razonamiento visual a su modelo insignia de pesos abiertos

Tencent califica Hy4 como uno de los modelos de pesos abiertos más potentes, pero admite que sigue por detrás de los mejores sistemas cerrados en matemáticas de nivel de investigación, programación de largo horizonte y preguntas visuales avanzadas.

Binance dice que los hackers usaron una entrevista de trabajo falsa y su propia herramienta interna de IA para robar 6.300 millones

Archivo · Ediciones de los últimos 30 días
jue, 29 de octubre de 202612:00
mié, 28 de octubre de 202612:00
mar, 27 de octubre de 202612:00
lun, 26 de octubre de 202612:00
dom, 25 de octubre de 202612:00
sáb, 24 de octubre de 202612:00
vie, 23 de octubre de 202612:00
jue, 22 de octubre de 202612:00
mié, 21 de octubre de 202612:00
mar, 20 de octubre de 202612:00
lun, 19 de octubre de 202612:00
dom, 18 de octubre de 202612:00
sáb, 17 de octubre de 202612:00
vie, 16 de octubre de 202612:00
jue, 15 de octubre de 202612:00
mié, 14 de octubre de 202612:00
mar, 13 de octubre de 202612:00
lun, 12 de octubre de 202612:00
dom, 11 de octubre de 202612:00
sáb, 10 de octubre de 202612:00
vie, 09 de octubre de 202612:00
jue, 08 de octubre de 202612:00
mié, 07 de octubre de 202612:00
mar, 06 de octubre de 202612:00
Gratis. Sin cuenta, sin rastreo.Donar