El artículo Can AI truly prove anything? sostiene que la capacidad de la IA para generar pruebas formales (como en código Lean) no equivale a "hacer matemáticas". Propone distinguir entre resultados "simplemente correctos" (verificables pero incomprensibles) y "matemáticamente demostrados" (comprendidos por humanos). Advierte que priorizar la eficiencia de la IA sobre la comprensión humana podría llevar a una pérdida irreversible del pensamiento matemático, reduciendo la ciencia a un proceso opaco.