OpenAI afirmó el 26 de octubre que publicó una exposición en lenguaje natural y una formalización en Lean de lo que describe como una prueba generada por IA de la conjetura de suavizado local de Sogge de 1991 para la ecuación de ondas euclidiana.
El registro público se divide entre el anuncio de OpenAI y el historial de GitHub enlazado, y ambos describen el alcance de forma algo distinta. La publicación de OpenAI afirma que el resultado demuestra la conjetura en todas las dimensiones y, por tanto, resuelve la conjetura de Kakeya y la conjetura de restricción de Stein en todas las dimensiones. La página de historial de GitHub es más limitada: indica que el resultado cubre ondas en todas las dimensiones espaciales de al menos dos, produce las conjeturas maximal y dimensional de Kakeya, y proporciona las estimaciones de restricción esférica de Stein en todo el interior del rango conjeturado.
Esto importa porque los artefactos de la prueba son públicos e inspeccionables, pero el alcance debe interpretarse a partir de ambas fuentes en conjunto, no solo de la publicación de lanzamiento.