OpenAI pide a expertos externos, incluido un laureado con el Nobel, que verifiquen las pruebas generadas por su IA
decoder ·
OpenAI ha contratado a expertos externos, incluido un laureado con el Premio Nobel, para verificar demostraciones generadas por sus modelos de IA en matemáticas, ciencias de la computación y física. En ciencias de la computación, la IA afirma haber refutado la Hipótesis del Tiempo Exponencial, lo que desafiaría supuestos fundamentales sobre la complejidad de los problemas y podría afectar a los solucionadores SAT. Un resultado matemático independiente aborda la conjetura del suavizado local para ondas en todas las dimensiones, lo que también implica soluciones a las conjeturas de Kakeya y Stein sobre restricciones. En física, la IA sostiene que ha demostrado la existencia matemática de la teoría de Yang-Mills en cuatro dimensiones, abordando parte de un Problema del Milenio, pero no la brecha de masa asociada. Cada campo está siendo revisado por diferentes grupos de especialistas, con OpenAI proporcionando datos brutos y traducciones a Lean para facilitar la verificación independiente. La empresa enfatiza que no busca crédito científico, sino apoyar una revisión por pares rigurosa mediante financiación y transparencia. Esta iniciativa sigue a controversias anteriores, lo que ha llevado a OpenAI a adoptar un enfoque más cauteloso respecto a la atribución y validación de descubrimientos generados por IA.
decoder