Matemáticos debaten el impacto de la formalización digital con Lean en la creatividad
El programa informático Lean ha verificado más de 260.000 teoremas en un proyecto para formalizar todas las matemáticas, financiado con más de 10 mill
#Kevin Buzzard
1 artículo con esta etiqueta