La IA puede demostrarlo, pero no decidir qué problema resolvió

La compañía sostiene que un modelo interno produjo una demostración publicada de 166 páginas para mostrar una singularidad bajo una de las formulaciones permitidas del problema. Además, ha hablado de verificación formal en Lean, un lenguaje que permite revisar paso a paso que una demostración sigue reglas lógicas explícitas. Eso es importante, pero no mágico. Una verificación formal reduce el riesgo de que haya un salto lógico en lo que se haya codificado. La pregunta anterior sigue siendo humana: ¿la afirmación matemática que se formalizó corresponde realmente al problema del Clay y se han expresado bien todas las hipótesis? Es como revisar que un contrato cumple exactamente sus cláusulas. Es potentísimo, pero alguien tiene que decidir primero qué contrato está leyendo el sistema.

Episodio completo: https://youtu.be/FmqFjSKbKH0

🤖 Contenido generado con IA: el guion, las voces y las imágenes de este episodio se produjeron con herramientas de inteligencia artificial.

#Shorts