Matemática
Una nueva prueba hace más rápido colorear mapas con cuatro colores
Un preprint propone una forma de colorear mapas matemáticos con cuatro colores en mucho menos tiempo de cálculo que los métodos previos.
Ciencias físicas y matemáticas
Matemática
Resultados, modelos y herramientas matemáticas con relevancia científica.
En foco
Matemática
Una IA encontró una singularidad en Navier–Stokes, pero la prueba sigue bajo examen
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.
Más en Matemática
Matemática
Inteligencia artificial completa la primera demostración verificada por computadora del último teorema de Fermat
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.