El camino hacia la superinteligencia matemática
145,248 plays|
Tudor Achim |
TEDAI San Francisco 2025
• October 2025
La IA generativa alucina, lo que genera un problema de veracidad que la ciencia no puede permitirse. El científico computacional Tudor Achim cree que una idea de hace 400 años contiene la solución: el sueño de Leibniz de un marco lógico donde los errores son simplemente imposibles. Conozca su propuesta de superinteligencia matemática que anclaría la IA en la verificación formal, transformando a los chatbots poco fiables en socios rigurosos para el descubrimiento científico.