AlphaProof Nexus de DeepMind resuelve 9 problemas de Erdős, dos abiertos más de 50 años, con pruebas en Lean
Los resultados sobre 353 problemas de Erdős y 492 conjeturas OEIS están en GitHub con pruebas verificadas por máquina.

Las 15 tareas de Hillclimb se puntúan con verificadores privados; Claude Fable 5.1 lidera con 1548 Elo frente a 1232 de GPT-6 Astra.
Los resultados sobre 353 problemas de Erdős y 492 conjeturas OEIS están en GitHub con pruebas verificadas por máquina.
Disponible en Microsoft Foundry, acepta preguntas tipadas sí/no, de elección y de puntuación; compite con la Decisions API de OpenAI.
El 'mito-polaritón' se infiere, no se mide directamente; el trabajo en bioRxiv no está revisado y requiere replicación.
Anunciados en Gemini at Work 2026, actúan con identidad propia de Workspace; es vista previa privada sin precio ni fecha.
La startup en sigilo la dirige un excientífico de Tencent; la ronda no estaba cerrada y DeepSeek no ha comentado.
Ting-Wei Sun se declaró culpable de cuatro cargos en Manhattan; la fiscalía alega unos 2.500 millones en hardware enviado sin licencia.
La documentación describe un coordinador que crea hilos en ramas separadas que siguen con el ordenador apagado; beta para Pro y Max.
La carta de aprobación de la FDA es del 8 de octubre; Teva dice que llegará a EE. UU. en semanas.
Los pacientes con mejor función (FAC 4) mejoraron marcha, equilibrio y velocidad; es un hallazgo de subgrupo por confirmar.
Owain Evans y coautores reportan transferencia parcial de una puerta trasera y de propensión a hackear al destilar secuencias numéricas; preprint sin revisión.
La norma excluye la frustración normal, la ficción oscura y las pruebas del modelo; que Claude termine el chat es la principal medida.