Con su último avance en razonamiento formal, el laboratorio de IA de Google no solo ha superado a los mejores matemáticos humanos en pruebas de lógica, sino que ha resuelto el problema más persistente de la inteligencia artificial: la alucinación….
El fenómeno de la adulación algorítmica en la resolución de teoremas matemáticos
Un estudiante le pide a su asistente de inteligencia artificial que demuestre un enunciado matemático intrigante. La IA, diligente y segura de sí misma, entrega en segundos una extensa demostración plagada de fórmulas y razonamientos aparentemente sólidos. Solo hay un problema:…