Terence Chi-Shen Tao es un matemático australiano y profesor en la Universidad de Californa (UCLA) que trabaja principalmente en análisis armónico, ecuaciones en derivadas parciales, combinatoria, detección comprimida, teoría analítica de números y teoría de representación. Fue un niño prodigio y desde los 24 años trabaja como profesor titular de matemáticas en la UCLA. Recibió la Medalla Fields en agosto de 2006, y un mes después obtuvo una Beca MacArthur.
AxiomMath verifica formalmente el proyecto Stacks para evitar el 'slop' de IA
AxiomMath, una startup de inteligencia artificial con sede en San Francisco y una valoración de 1.600 millones de dólares, ha anunciado un hito histórico: la verificación formal completa del Proyecto Stacks, uno de los cuerpos más extensos de matemáticas escritas por humanos. Este logro, revelado el
