protocol_standard · 5 menciones
Un profesor de matemáticas en Cornell describe la crisis que enfrenta la disciplina tras el anuncio de OpenAI de haber resuelto cerca de 400 problemas matemáticos abiertos de gran enjambre utilizando un modelo interno. El autor, que reflexiona sobre el impacto de esta tecnología, distingue entre mat
Un grupo de matemáticos de renombre, incluido Jeremy Avigad y Kevin Buzzard, ha publicado un análisis crítico sobre la propuesta de formalizar todo el conocimiento matemático utilizando inteligencia artificial. Aunque reconocen el potencial de la IA para verificar teoremas, los autores expresan prof
Investigadores Alpöge y Buckmaster han logrado un avance significativo en el problema de la regularidad global de las ecuaciones de Navier-Stokes tridimensionales incompresibles. Su trabajo, que se apoya en investigaciones previas de Córdoba y Martínez-Zoroa, demuestra la existencia de singularidade
Jos Stam presenta en este artículo una implementación sencilla y rápida de un solver de dinámica de fluidos orientada a motores de videojuegos. El objetivo es incorporar efectos visuales fluidos realistas, como humo arremolinándose al paso de un personaje, sin sacrificar el rendimiento. Los algoritm
Las ecuaciones de Navier-Stokes, formuladas en el siglo XIX, siguen siendo la herramienta estándar para describir el movimiento de líquidos y gases. Permiten diseñar alas de avión, pronosticar huracanes y modelar el clima, pero presuponen que el fluido es un continuo perfectamente liso y omiten los