OpenAI: por qué la IA ya resuelve problemas de matemáticas
De resolver aritmética a tumbar conjeturas abiertas En mayo, un modelo interno de OpenAI encontró un contraejemplo a la conjetura de las distancias unitarias de Erdős, un problema abierto desde 1946 que había resistido a varias generaciones de matemáticos. Un mes después, la compañía publicó una prueba del problema del Cycle Double Cover (CDC) y, …









