Nos últimos dias, duas equipes distintas de matemáticos e especialistas em inteligência artificial anunciaram abordagens que visam resolver formalmente alguns dos grandes problemas em aberto da matemática: demonstrar se as equações que descrevem o movimento dos fluidos garantem sempre um comportamento regular e previsível ou se, ao contrário, podem falhar em algum momento.