La crisis existencial de las matemáticas ante la IA
The Verge explora en su pódcast Decoder la crisis existencial que atraviesa la comunidad matemática por el avance de la inteligencia artificial. El periodista Robert Hart analiza cómo un modelo interno de OpenAI resolvió la conjetura de la distancia unitaria, un problema abierto durante 80 años, y c
