Terry Tao, evangelista de la IA en matemáticas

Fuentes: How Terry Tao Became an Evangelist for AI in Math

El artículo, adaptado del libro The Proof in the Code de Kevin Hartnett, retrata la evolución del matemático Terry Tao hasta convertirse en un defensor de la inteligencia artificial y la colaboración masiva en su disciplina. Nacido en Adelaida en 1975 de padres inmigrantes chinos, Tao mostró precocidad: a los 2 años contaba con bloques y a los 7 estudiaba cálculo. A los 10 obtuvo bronce en la Olimpiada Internacional de Matemáticas, y a los 15 se graduó en la Universidad de Flinders. Con el respaldo de Paul Erdős, inició un doctorado en Princeton y, a los 24, se incorporó a la UCLA. Su teorema de Green-Tao sobre progresiones aritméticas en números primos le valió la Medalla Fields en 2006. A pesar de su genio individual, Tao siempre prefirió colaborar. En 2014, en un panel de ganadores del Breakthrough Prize, predijo que los matemáticos trabajarían en proyectos con cientos de personas y que los resultados serían verificados por ordenadores, una idea recibida con escepticismo. El texto explica que Tao fue un activo participante del Polymath Project, iniciativa de Timothy Gowers para la investigación colaborativa masiva en línea. Tao aportó la noción de descomponer problemas grandes en subproblemas paralelizables. El proyecto Polymath, con su primer desafío sobre el teorema de Hales-Jewett, demostró la viabilidad del modelo, generando un artículo con el seudónimo D.H.J. Polymath. El perfil subraya cómo la apertura de Tao a la verificación computacional y la inteligencia artificial lo sitúan como un evangelista de nuevas metodologías en matemáticas, fusionando el rigor tradicional con herramientas modernas.