Terence Tao

Terence Tao califica de «logro notable» las demostraciones de dinámica de fluidos asistidas por IA

Tristan Buckmaster, matemático de la Universidad de Nueva York, y Levent Alpöge, investigador de Anthropic, publicaron este domingo demostraciones asistidas por IA y verificadas en Lean que muestran que varias ecuaciones de fluidos pueden desarrollar explosiones en tiempo finito, puntos…