David Hilbert fue un matemático alemán, reconocido como uno de los más influyentes del siglo XIX y principios del XX. Estableció su reputación como gran matemático y científico inventando y desarrollando un gran abanico de ideas, como la teoría de invariantes, la axiomatización de la geometría y la noción de espacio de Hilbert, uno de los fundamentos del análisis funcional. Hilbert y sus estudiantes proporcionaron partes significativas de la infraestructura matemática necesaria para la mecánica
La IA amenaza la comprensión humana de la matemática y la programación
El artículo analiza cómo la integración de agentes de inteligencia artificial en sistemas de demostración formal, como Lean, está provocando una crisis de comprensión en la comunidad matemática y científica de la computación. A pesar de que la imposibilidad de un sistema matemático completo y consis
