Archivo de artículos etiquetados con matematicas.
Un sistema de IA produjo una prueba formalizada de que las ecuaciones de Navier–Stokes pueden desarrollar una singularidad. Matemáticos aún analizan su alcance.
El modelo de inteligencia artificial Claude, desarrollado por Anthropic, logró en 11 días lo que se esperaba tomaría 10 años: completar la primera demostración verificada por computadora del último teorema de Fermat.
Un equipo del MIT diseñó una forma de traducir cómo responden estructuras naturales, como las piñas, en materiales adaptativos que pueden validarse y fabricarse con impresión 3D.
