TAO(Bittensor) (TAO) Subida

El matemático Terence Tao y la ganadora de la Medalla Fields, June Huh, coinciden en que la comunidad matemática debe "digerir" las pruebas generadas por IA. Ante el aumento de demostraciones asistidas por IA, que pueden ser difíciles de verificar y comprender, ambos destacan que una prueba formalmente correcta es solo el primer paso. Para que un resultado sea verdaderamente útil, los matemáticos deben entenderlo, refinarlo e integrarlo en el conocimiento existente. Tao ilustró este proceso al analizar durante varios días una demostración de la conjetura de Sendov, resuelta después de 67 años con ayuda de IA. Al reescribir y simplificar la prueba original, verificada en Lean, no solo la hizo comprensible, sino que también descubrió que podía extenderse a una conjetura más fuerte y reducir el código de 90.000 a 15.000 líneas. Este caso demuestra que "digerir" una prueba puede ampliar su impacto y valor. Tao argumenta que el sistema actual, que prioriza al primero en anunciar un resultado, es problemático en la era de la IA, ya que fomenta publicaciones prematuras sin una comprensión profunda. Propone revalorizar las fases de verificación, explicación y síntesis del trabajo matemático. Como herramienta para este fin, presentó Palomar, un registro público para organizar y verificar demostraciones formalizadas, promoviendo una colaboración más ordenada. El objetivo final es asegurar que los avances impulsados por IA sean asimilados de manera rigurosa y productiva por la comunidad.

Apple lanza su chip más potente: el M5 Ultra con arquitectura de cuatro núcleos y memoria unificada de hasta 512 GB, junto al primer chip en proceso de 2 nm, el M6. Ambos impulsan las nuevas versiones de Mac mini y Mac Studio, diseñadas para flujos de trabajo de IA local y agentes autónomos, con mejoras de rendimiento de IA de hasta 4,8 veces frente a generaciones anteriores. Sin embargo, la alta demanda de memoria para IA ha retrasado la disponibilidad del Mac Studio con 512 GB hasta octubre y ha provocado un aumento significativo de precios, con el Mac mini partiendo ahora desde 6.999 yuanes (un 55% más que su predecesor). Este lanzamiento coincide con la salida de Tim Cook como CEO de Apple, marcando un salto tecnológico en su última etapa al frente de la compañía.