OpenAI publica 372 demostraciones matemáticas generadas por IA en GitHub
decoder ·
OpenAI ha publicado en GitHub 372 resultados matemáticos generados por un modelo de IA interno, con el objetivo de resolver o avanzar en problemas abiertos, como los relacionados con la hipótesis de Riemann. Estas demostraciones se produjeron principalmente mediante una única instrucción y agente, consumiendo aproximadamente tres horas de capacidad de cómputo de ChatGPT Pro por cada resultado. Para abordar el volumen abrumador de salida que podría sobrecargar los procesos de revisión manual, muchas demostraciones incluyen formalizaciones en Lean para su verificación comprobable por máquina. La empresa eligió GitHub en lugar de las revistas tradicionales revisadas por pares, lo que señala que la publicación académica convencional es demasiado lenta para este ritmo de descubrimiento. Aunque OpenAI consultó a un grupo asesor que incluía ganadores del Premio Fields, los matemáticos no tuvieron voz ni voto sobre la velocidad o la cantidad de producción de los resultados. Las reacciones dentro de la comunidad matemática están divididas, oscilando entre la emoción y la frustración por las implicaciones de las demostraciones producidas en masa. Críticos, incluidos 25 ganadores del Premio Fields, advierten que centrarse en resultados de resolución de problemas puede socavar la comprensión conceptual y la verdadera intuición. En consecuencia, existen preocupaciones de que la rápida expansión de la literatura generada por IA podría eventualmente superar la capacidad de comprensión humana.
decoder