El fundador de Cardano considera el avance matemático de OpenAI

El fundador de Cardano, Charles Hoskinson, dijo el 9 de septiembre que la inteligencia artificial había avanzado más en matemáticas formales de lo que esperaba.

Hoskinson afirmó que el progreso matemático de la inteligencia artificial superó considerablemente sus expectativas anteriores de manera pública.

OpenAI dice que aproximadamente 10,000 agentes produjeron una solución a las ecuaciones de Navier-Stokes en un total de 88 horas de trabajo.

Clay todavía clasifica las ecuaciones de Navier-Stokes como no resueltas, a la espera de publicación, revisión y aceptación matemática generalizada en todo el mundo hoy.

Hoskinson planteó preocupaciones sobre la confidencialidad para los investigadores que ingresan trabajos no publicados en sistemas de IA en la nube centralizados en línea.

OpenAI negó haber accedido a trabajos privados, pero no pudo excluir que los datos de uso desidentificados influyeran en las mejoras del modelo.

Sus comentarios siguieron a la afirmación de OpenAI de que un sistema interno produjo una solución al Problema del Premio del Milenio de Navier-Stokes.

Durante una transmisión, Hoskinson calificó las capacidades reportadas como "bastante notables". Sin embargo, también abordó preguntas no resueltas sobre el origen del trabajo y la privacidad de la investigación presentada a los servicios de IA basados en la nube.

Hoskinson dijo que originalmente esperaba que los sistemas formales ayudaran a equipos más grandes de matemáticos a colaborar y verificar pruebas escritas por humanos. No esperaba que los modelos de lenguaje grandes generaran pruebas completas por sí mismos tan pronto.

"Nunca anticipamos la medida en que la IA intervendría", dijo Hoskinson. Agregó que la idea de que la IA escribiera completamente una prueba había parecido anteriormente "bastante lejana".

Hoskinson tiene una conexión directa con la investigación en matemáticas formales. En 2021, donó 20 millones de dólares a la Universidad Carnegie Mellon para establecer el Centro Hoskinson para Matemáticas Formales, según el anuncio de la universidad.

Sus últimos comentarios también se ajustan a la experimentación más amplia de Cardano con la inteligencia artificial. Como informó anteriormente crypto.news, Hoskinson ha defendido los experimentos con agentes de IA de Cardano que involucran comunicaciones, actividad comunitaria y el ecosistema Midnight enfocado en la privacidad.

OpenAI publicó su investigación el 8 de septiembre. La compañía dijo que un modelo interno coordinó aproximadamente 10,000 agentes y produjo una solución propuesta después de 88 horas. GPT-6 Astra luego pasó otras 17 horas formalizando y verificando el argumento en Lean.

La prueba intenta establecer que un fluido inicialmente suave y estacionario puede desarrollar una singularidad en un tiempo finito cuando se le somete a una fuerza externa suave. OpenAI dijo que esto satisface las afirmaciones C y D en la formulación oficial del Premio del Milenio.

La compañía también lanzó un documento analítico y código Lean. Una formalización en Lean proporciona una verificación comprobable por máquina de que los pasos codificados siguen de las suposiciones declaradas. No establece de manera independiente que cada definición y suposición representa con precisión el problema matemático previsto.

OpenAI dijo que no planea solicitar el premio asociado de 1 millón de dólares. Sin embargo, la compañía describió su trabajo como una resolución del problema.

El Instituto de Matemáticas Clay todavía etiqueta el problema de Navier-Stokes como "no resuelto". Su sitio web no había reconocido la prueba propuesta por OpenAI como una solución aceptada en el momento de la información.

Clay no acepta soluciones propuestas a través de presentaciones directas. Según sus reglas, una solución debe aparecer en una publicación calificada. Deben pasar al menos dos años, y el trabajo debe obtener aceptación general de la comunidad matemática global.

Ese proceso significa que el anuncio de OpenAI y la prueba formal no constituyen un reconocimiento institucional inmediato. Los matemáticos deben examinar si la construcción satisface la declaración precisa del problema y si su uso de fuerzas externas responde a la pregunta tal como se entiende comúnmente.

El anuncio también atrajo el escrutinio del matemático de la Universidad de Nueva York, Tristan Buckmaster, y del investigador de Anthropic, Levent Alpöge. Los investigadores habían estado trabajando en un resultado relacionado con la ecuación de Euler utilizando un enfoque de forzado.

Buckmaster cuestionó si el trabajo privado ingresado en el sistema Codex de OpenAI podría haber contribuido al resultado de la compañía. No llegó a alegar mala conducta probada, diciendo: "No sé si nuestros datos fueron utilizados".

OpenAI negó haber accedido a su trabajo específico. Sin embargo, la compañía dijo que no podía descartar completamente la posibilidad de que los datos desidentificados de su uso del producto hubieran ayudado a mejorar sus modelos. OpenAI mantuvo que su prueba se desarrolló de manera independiente y difería del trabajo de los investigadores.

Hoskinson argumentó que la disputa debería preocupar a los investigadores que manejan ideas no publicadas. Dijo que los académicos que utilizan servicios de IA centralizados deberían considerar si los mensajes, notas y registros de investigación permanecen confidenciales.

La siguiente fase involucrará el examen público del documento de OpenAI y la formalización en Lean. Hasta que los especialistas revisen las suposiciones y se cumplan las condiciones formales de Clay, el trabajo sigue siendo una solución reclamada en lugar de una resolución reconocida.

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.