Terence Tao

Terence Tao qualifie de « remarquable » une avancée en dynamique des fluides assistée par l’IA

Tristan Buckmaster, mathématicien à NYU, et Levent Alpöge, chercheur chez Anthropic, ont publié dimanche des preuves assistées par IA et vérifiées par Lean montrant que plusieurs équations de fluides peuvent développer des explosions en temps fini, des points où les…