OpenAI afirma que su modelo interno resolvió más de 100 problemas matemáticos abiertos tras Navier-Stokes. Un grupo independiente de nueve miembros en el Instituto de Estudios Avanzados de Princeton asesorará sobre cómo publicarlos.
OpenAI dirigió unos 10.000 agentes a un solo problema y obtuvo una prueba en 88 horas. Dos matemáticos que llevaban un año en esa línea habían publicado días antes.
Timothy Gowers y Peter Sarnak reconocen a los grandes modelos de lenguaje una capacidad matemática seria, pero ven un límite claro para las ideas realmente nuevas. La carencia no es de conocimiento, sino de intuición para elegir el camino.
El matemático y medalla Fields Timothy Gowers afirma que casi todos los problemas matemáticos famosos resueltos por modelos de lenguaje se resolvieron con contraejemplos, no con demostraciones.